Related papers: On Christol's conjecture
The investigations on higher-order type theories and on the related notion of parametric polymorphism constitute the technical counterpart of the old foundational problem of the circularity (or impredicativity) of second and higher order…
Let $a < b$ be coprime positive integers. Armstrong, Rhoades, and Williams defined a set $\mathsf{NC}(a,b)$ of `rational noncrossing partitions', which form a subset of the ordinary noncrossing partitions of $\{1, 2, \dots, b-1\}$.…
Performing both right and left multiplication operations using general regular matrix polynomials, which need not be monic and may possess leading coefficients of arbitrary rank, on a rectangular matrix of measures associated with mixed…
It is known that in the lattice of normal extensions of the logic KTB there are unique logics of codimensions 1 and 2, namely, the logic of a single reflexive point, and the logic of the total relation on two points. A natural question…
Let X be an algebraic curve over Q and t a non-constant Q-rational function on X such that Q(t) is a proper subfield of Q(X). For every integer n pick a point P_n on X such that t(P_n)=n. We conjecture that, for large N, among the number…
It is well known that the arithmetic nature of Mills' prime-representing constant is uncertain: we do not know if Mills' constant is a rational or irrational number. In the case of other prime-representing constants, irrationality can be…
We show that normality for continued fractions expansions and normality for base-$b$ expansions are maximally logically separate. In particular, the set of numbers that are normal with respect to the continued fraction expansion but not…
In 1906, Maillet proved that given a non-constant rational function $f$, with rational coefficients, if $\xi$ is a Liouville number, then so is $f(\xi)$. Motivated by this fact, in 1984, Mahler raised the question about the existence of…
The paper gives some criteria for partial sums of rational number sequences to be not rational functions and to be not algebraic functions. As an application, we study partial sums of some famous rational number sequences in mathematical…
We show that the third order approximation function $M_f$, proposed by S. Amat, S. Busquier, S. Plaza, in \textit{J. Math. Anal. Appl.}, 366(2010), 24--32, for functions $f$ twice continuously differentiable and such that both $f$ and its…
In this work, a sequence of orthonormal rational functions that is also biorthogonal to another sequence of rational functions arising from recurrence relations of $R_{II}$ type is constructed. The biorthogonality is proved by a procedure…
We prove that the Reidemeister zeta functions of automorphisms of crystallographic groups with diagonal holonomy $\mathbb{Z}_2$ are rational. As a result, we obtain that Reidemeister zeta functions of automorphisms of…
About fifty years ago Mahler proved that if $\alpha>1$ is rational but not an integer and if $0<l<1$ then the fractional part of $\alpha^n$ is $>l^n$ apart from a finite set of integers $n$ depending on $\alpha$ and $l$. Answering…
We prove the real non-attractive fixed point conjecture for complex polynomial and rational harmonic functions. A harmonic function $f=h+\overline{g}$ is polynomial (rational) if both $h$ and $g$ are polynomials (rational functions) of…
In the paper, some special linear combinations of the terms of rational cycles of generalized Collatz sequences are studied. It is proved that if the coefficients of the linear combinations satisfy some conditions then these linear…
Let $K$ be a finitely generated field of characteristic zero. We study, for fixed $m \geq 2$, the rational functions $\phi$ defined over $K$ that have a $K$-orbit containing infinitely many distinct $m$th powers. For $m \geq 5$ we show the…
A convolution approach leading to an explicit computation of a value of a 4F3 function is outlined. We also investigate about the role of the dilogarithm reflection formula, leading to a remarkable consequence: in some cases, values of 4F3…
We prove that if a linear equation, whose coefficients are continuous rational functions on a nonsingular real algebraic surface, has a continuous solution, then it also has a continuous rational solution. This is known to fail in higher…
The estimates for the second Hankel determinant a_2a_4-a_3^2 of analytic function f(z)=z+a_2 z^2+a_3 z^3+...b for which either zf'(z)/f(z) or 1+zf"(z)/f'(z) is subordinate to certain analytic function are investigated. The estimates for the…
Let $(Z,o)$ be a three-dimensional terminal singularity of type $cA/r$. We prove that all exceptional divisors over $o$ with discrepancies $\le 1$ are rational.