The transcend.-number-theory tag has no wiki summary.

**5**

votes

**2**answers

499 views

### Conjecture on irrational algebraic numbers

Conjecture:
For every irrational algebraic number $q$ and natural number $b$, the representation of $q$ on base $b$ contains all the digits $[0,\dots,b-1]$.
Questions:
Has this conjecture been ...

**2**

votes

**0**answers

216 views

### schanuel's conjecture and real root of $x+e^x=0$

Schanuel's conjecture states:
-If $\alpha_1,\alpha_2,...,\alpha_n$ are complex numbers linearly independent over $\mathbb{Q}$ then the trascendence degree of the field ...

**17**

votes

**1**answer

522 views

### Is anything known about which numbers appear in the continued fraction expansion of $\pi$?

This question is mostly idle curiosity, and certainly is not related to any research activities of my own. The motivation and background are as follows. I am currently teaching a Freshman Seminar in ...

**7**

votes

**5**answers

909 views

### Advice on choosing an area of specialization

I'm not sure if this is an appropriate question for MO, but I figured it couldn't hurt to ask. I'm a second year graduate student, currently gearing up to construct a committee and syllabus for my ...

**0**

votes

**0**answers

38 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

**1**answer

148 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

**1**answer

212 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) {
...

**0**

votes

**0**answers

142 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 ...

**7**

votes

**1**answer

346 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. ...

**1**

vote

**1**answer

219 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

**0**answers

325 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 ...

**37**

votes

**2**answers

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.
...

**10**

votes

**2**answers

387 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

**2**answers

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

**1**answer

376 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 ...

**10**

votes

**0**answers

364 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 + ...

**5**

votes

**1**answer

369 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

**1**answer

460 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

**1**answer

424 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 ...

**4**

votes

**5**answers

901 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

**1**answer

379 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

**1**answer

988 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 ...

**9**

votes

**0**answers

451 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 ...

**5**

votes

**0**answers

740 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 ...

**4**

votes

**2**answers

459 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

**0**answers

272 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

**1**answer

741 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, ...

**12**

votes

**5**answers

1k 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 ...

**3**

votes

**2**answers

504 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

**1**answer

349 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

**1**answer

789 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) ...

**5**

votes

**3**answers

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

**1**answer

740 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 ...