Related papers: $\lambda$-quiddit{\'e} sur $\mathbb{Z}[\alpha]$ av…

Decimal expansions of classical constants such as $\sqrt2$, $\pi$ and $\zeta(3)$ have long been a source of difficult questions. In the case of Laurent series with coefficients in a finite field, where no carry-over difficulties appear, the…

We describe the formalisation in Coq of a proof that the numbers e and $\pi$ are transcendental. This proof lies at the interface of two domains of mathematics that are often considered separately: calculus (real and elementary complex…

For a root system R, a field K and an invertible element q in K let U be the associated quantum group, defined via Lusztig's divided powers construction. We study the irreducible characters of this algebra with integral (but not necessarily…

This mostly expository paper centers on recently proved conjectures in two areas: A) A conjecture of A. Oppenheim on the values of real indefinite quadratic forms at integral points. B) Conjectures of Dani, Raghunathan, and Margulis on…

We show that ${\mathbb Z}$ is definable in ${\mathbb Q}$ by a universal first-order formula in the language of rings. We also present an $\forall\exists$-formula for ${\mathbb Z}$ in ${\mathbb Q}$ with just one universal quantifier. We…

In this paper first by the fact that the relation $\alpha^*$ is the transitive closure of two its subrelations we introduce and analyze a binary relation $\lambda^*_e$ on a hyperring such that the derived ring is a unitary ring. Next we…

For a lattice \Lambda in the complex plane, let K_{\Lambda} be the field of \Lambda-elliptic functions. For two relatively prime integers p (respectively q) greater than 1, consider the endomorphisms \psi (resp. \phi) of K_{\Lambda} given…

We introduce more properties of forcing notions which imply that their lambda-support iterations are lambda-proper, where lambda is an inaccessible cardinal. This paper is a direct continuation of section A.2 of math.LO/0210205. As an…

For a positive integer $n$ and a real number $\alpha$, the generalized Laguerre polynomials are defined by \begin{align*} L^{(\alpha)}_n(x)=\sum^n_{j=0}\frac{(n+\alpha)(n-1+\alpha)\cdots (j+1+\alpha)(-x)^j}{j!(n-j)!}. \end{align*} These…

We propose and study a generalized continued fraction algorithm that can be executed in an arbitrary imaginary quadratic field, the novelty being a non-restriction to the five Euclidean cases. Many hallmark properties of classical continued…

We examine exponential sums of the form $\sum_{n \le X} w(n) e^{2\pi i\alpha n^k}$, for $k=1,2$, where $\alpha$ satisfies a generalized Diophantine approximation and where $w$ are different arithmetic functions that might be multiplicative,…

The cotangent zeta function is a very interesting object, which is related to partial zeta functions and Hecke $L$-functions of real quadratic fields. Its special values at odd integers greater than 1 are explicitly evaluated by Berndt in…

We show a correspondence between simple continued fraction expansions of irrational numbers and irreducible permutative representations of the Cuntz algebra ${\cal O}_{\infty}$. With respect to the correspondence, it is shown that the…

The Lambek calculus can be considered as a version of non-commutative intuitionistic linear logic. One of the interesting features of the Lambek calculus is the so-called "Lambek's restriction," that is, the antecedent of any provable…

In this paper we introduce a new infinite set of transcendental integrals. Each of them is expressed by corresponding value of the function $|\zf|^{-2}$. Such a property is another argument about universality of the Riemann zeta-function…

We introduce axiomatically the ring $\bf{Z}_\kappa$ of the Euclidean integers, that can be viewed as the ``integral part" of the field $\mathbb{E}$ of Euclidean numbers of [4], where the transfinite sum of ordinal indexed $\kappa$-sequences…

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…

A set of complex numbers $\Lambda=\{\lambda_n,\mu_n\}_{n=1}^{\infty}$ with multiple terms \[ \{\lambda_n,\mu_n\}_{n=1}^{\infty}:= \{\underbrace{\lambda_1,\lambda_1,\dots,\lambda_1}_{\mu_1 - times},…

Two confluent rewriting systems in noncommutatives polynomials are constructed using the equations allowing the identification of the local coordinates (of second kind) of the graphs of the $\zeta$ polymorphism as being (shuffle or…

For the each of the five Euclidean rings of complex quadratic integers, we consider a complex continued fraction algorithm with digits in the ring. We show for each algorithm that the maximal digit obeys a Fr\'echet distribution. We use…