相关论文: The Schanuel Subset Conjecture implies Gelfond's P…

For almost all tuples $(x_1,\dots,x_n)$ of complex numbers, a strong version of Schanuel's Conjecture is true: the $2n$ numbers $x_1,\dots,x_n, {\mathrm e}^{x_1},\dots, {\mathrm e}^{x_n}$ are algebraically independent. Similar statements…

In this article we study Semi-abelian analogues of Schanuel conjecture. As showed by the first author, Schanuel Conjecture is equivalent to the Generalized Period Conjecture applied to 1-motives without abelian part. Extending her methods,…

In this paper, using an argument of P. Erdos, K. Alniacik and E. Saias, we extend earlier results on Liouville numbers, due to P. Erdos, G.J. Rieger, W. Schwarz, K. Alniacik, E. Saias, E.B. Burger. We also produce new results of algebraic…

Given a subfield $F$ of $\mathbb{C}$, we study the linear disjointess of the field $E$ generated by iterated exponentials of elements of $\overline{F}$, and the field $L$ generated by iterated logarithms, in the presence of Schanuel's…

During the Arizona Winter School 2008 (held in Tucson, AZ) we worked on the following problems: a) (Expanding a remark by S. Lang). Define $E_0 = \overline{\mathbb{Q}}$ Inductively, for $n \geq 1$, define $E_n$ as the algebraic closure of…

We introduce and discuss a variant of Schanuel conjecture in the framework of the Carlitz exponential function over Tate algebras and allied functions. Another purpose of the present paper is to widen the horizons of possible investigations…

We show that the weak and strong forms of the Generalized Spectral Conjecture (GSC) of Boyle and Handelman are equivalent. The GSC asserts that well understood necessary spectral conditions on a square matrix A over a subring S of the reals…

In this article we study an abelian analogue of Schanuel's conjecture. This conjecture falls in the realm of the generalised period conjecture of Y. Andr{\'e}. As shown by C. Bertolin, the generalised period conjecture includes Schanuel's…

We obtain a structure theorem for the nonproperness set $S_f$ of a nonsingular polynomial mapping $f:\mathbb{C}^n \to \mathbb{C}^n$. Jelonek's results on $S_f$ and our result show that if $f$ is a counterexample to the Jacobian conjecture,…

In this paper we prove that assuming Schanuel's conjecture, an exponential polynomial in one variable over the algebraic numbers has only finitely many algebraic solutions. This implies a positive answer to Shapiro's conjecture for…

We consider the theory of algebraically closed fields of characteristic zero with multivalued operations $x\mapsto x^r$ (raising to powers). It is in fact the theory of equations in exponential sums. In an earlier paper we have described…

It is expected that Schanuel's Conjecture contains all ``reasonable" statements that can be made on the values of {\em the exponential function}. In particular it implies the Lindemann-Weierstrass Theorem and the Conjecture on algebraic…

For a cardinal lambda<lambda_{omega_1} we give a ccc forcing notion P which forces that for some Borel subset B of the Cantor space (1) there a sequence (eta_alpha:alpha<lambda) of distinct elements such that |(eta_alpha+B) cap…

Consider the Macdonald group $G(\alpha,\beta)=\langle A,B\,|\, A^{[A,B]}=A^\alpha,\, B^{[B,A]}=B^\beta\rangle$, where $\alpha$ and $\beta$ are integers different from one. We fill a gap in Macdonald's original proof that $G(\alpha,\beta)$…

Let $\Lambda$ be the space of symmetric functions and $V_k$ be the subspace spanned by the modified Schur functions $\{S_\lambda[X/(1-t)]\}_{\lambda_1\leq k}$. We introduce a new family of symmetric polynomials,…

We formalize Hilbert's Seventh Problem and its solution, the Gelfond-Schneider theorem, in the Lean 4 proof assistant. The theorem states that if $\alpha$ and $\beta$ are algebraic numbers with $\alpha \neq 0,1$ and $\beta$ irrational, then…

In this paper, we give a proof of 5D $A_n$ AGT conjecture at $\beta=1$, where the gauge theory side is one dimension higher than the original 4D case, and corresponds to the q-deformation of the 2D conformal field theory side. We define a…

Schanuel Conjecture contains all ``reasonable" statements that can be made on the values of the exponential function. In particular it implies the Lindemann-Weierstrass Theorem. In my Ph.D. I showed that Schanuel Conjecture has a…

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…

It is well-known that the square principle $\square_\lambda$ entails the existence of a non-reflecting stationary subset of $\lambda^+$, whereas the weak square principle $\square^*_\lambda$ does not. Here we show that if…