Related papers: Real Mahler Series
Let X be a regular scheme, projective and flat over the integers. Let A be the constant in the conjectured functional equation for the zeta-function of X. We give a conjecture computing A in terms of Euler characteristics of derived…
When $A$ and $B$ are subsets of the integers in $[1,X]$ and $[1,Y]$ respectively, with $|A| \geq \alpha X$ and $|B| \geq \beta X$, we show that the number of rational numbers expressible as $a/b$ with $(a,b)$ in $A \times B$ is $\gg (\alpha…
Let $\Gamma$ be a finitely presented group and $G$ a linear algebraic group over $\mathbb{R}$. A representation $\rho:\Gamma\rightarrow G(\mathbb{R})$ can be seen as an $\mathbb{R}$-point of the representation variety $\mathfrak{R}(\Gamma,…
Given a natural number $k\ge 2$ and a $k$-automatic set $S$ of natural numbers, we show that the lower density and upper density of $S$ are recursively computable rational numbers and we provide an algorithm for computing these quantities.…
We study pairs $(f, \Gamma)$ consisting of a non-Archimedean rational function $f$ and a finite set of vertices $\Gamma$ in the Berkovich projective line, under a certain stability hypothesis. We prove that stability can always be attained…
In this paper, we consider rational functions $f$ with some minor restrictions over the finite field $\mathbb{F}_{q^n},$ where $q=p^k$ for some prime $p$ and positive integer $k$. We establish a sufficient condition for the existence of a…
We prove that for every at most countable family $\{f_k(x)\}$ of real functions on $[0,1)$ there is a single-valued real function $F(x)$, $x\in[0,1)$, such that the Hausdorff dimension of the graph $\Gamma$ of $F(x)$ equals 2, and for every…
In this article we prove existence, uniqueness and regularity for the singular equation \begin{eqnarray*} \begin{cases} |\nabla u|^{\alpha}(F(D^{2}u)+h(x)\cdot\nabla u)+c(x)|u|^{\alpha}u+p(x)u^{-\gamma}=0 \ \mbox{ in } \ \Omega\\ u>0 \…
In this paper, we study the uniform H\"older continuity of the generalized Riemann function $R_{\alpha,\beta}$ (with $\alpha>1$ and $\beta>0$) defined by \[ R_{\alpha,\beta}(x)=\sum_{n=1}^{+\infty}\frac{\sin(\pi n^\beta x)}{n^\alpha},\quad…
Let E be a W*-algebra, H a selfdual Hilbert right E-module, L(H) the W*-algebra of adjointable operators on H, and F an involutive unital subalgebra of L(H). We prove that the double commutant of F is the W*-subalgebra of L(H) generated by…
This is a largely expository paper, providing a self-contained account on the results of [Sch-Si1, Sch-Si2], in the cases denoted there 2Q and 2M. These papers of Sch\"afke and Singer supplied new proofs to the main theorems of [Bez-Bou,…
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…
We improve on and generalize a 1960 result of Maltsev. For a field $F$, we denote by $H(F)$ the Heisenberg group with entries in $F$. Maltsev showed that there is a copy of $F$ defined in $H(F)$, using existential formulas with an arbitrary…
Let f(t) be a rational function of degree at least 2 with rational coefficients. For a given rational number x_0, define x_{n+1}=f(x_n) for each nonnegative integer n. If this sequence is not eventually periodic, then the difference…
Let F be a family of holomorphic functions and let K be a constant less than 4. Suppose that for all f in F the second iterate of f does not have fixed points for which the modulus of the multiplier is greater than K. We show that then F is…
The special case of the hypergeometric function $_{2}F_{1}$ represents the binomial series $(1+x)^{\alpha}=\sum_{n=0}^{\infty}(\:\alpha n\:)x^{n}$ that always converges when $|x|<1$. Convergence of the series at the endpoints, $x=\pm 1$,…
Allouche and Shallit introduced the notion of a regular power series as a generalization of automatic sequences. Becker showed that all regular power series satisfy Mahler equations and conjectured equivalent conditions for the converse to…
Let $\alpha$ be a complex number. We show that there is a finite subset $F$ of the ring of the rational integers $\mathbb{Z}$, such that $F\left[ \alpha\right] =\mathbb{Z}\left[ \alpha\right]$, if and only if $\alpha$ is an algebraic number…
Let $\Gamma$ denote a distance-regular graph with diameter $D \ge 3$. Assume $\Gamma$ has classical parameters $(D,b,\alpha,\beta)$ with $b < -1$. Let $X$ denote the vertex set of $\Gamma$ and let $A \in MX$ denote the adjacency matrix of…
The two-parametric Mittag-Leffler function (MLF), $E_{\alpha,\beta}$, is fundamental to the study and simulation of fractional differential and integral equations. However, these functions are computationally expensive and their numerical…