Related papers: Thue's Fundamentaltheorem, I: The General Case
The Thue-Morse sequence is generalized to the $TM_m$ sequences and two equivalent definitions are given. This generalization leads to transcendental numbers and has Queff\'elec's theorem on Thue-Morse continued fractions as a special case.…
This paper develops an infinitesimal order of magnitude coupled with overflow technique that allows nonnumerical proofs of nondegenerate and degenerate inverse mapping theorems for mappings minimally regular at a point. This approach is…
Let $K/F$ be an unramified quadratic extension of non-Archimedian local fields with residue character not equals to 2. We prove the linear Arithmetic Fundamental Lemma for GL$_4$ with the unit element in the spherical Hecke Algebra. In this…
In this paper, we establish new irrationality criteria for certain sparse power series. As applications of these criteria, we generalize a result of Erd\H{o}s and obtain several irrationality results for various infinite series involving…
We use the Aubry-Perret bound for singular curves, a generalization of the Hasse-Weil bound, to prove the following curious result about rational functions over finite fields: Let $f(X),g(X)\in\Bbb F_q(X)\setminus\{0\}$ be such that $q$ is…
We revisit Haagerup's enigmatic reduction theorem \cite[Theorems 2.1 \& 3.1]{HJX} showing how that theorem may be extended to general von Neumann algebras $\M$ equipped with an arbitrary faithful normal semifinite weight in a manner which…
Sturm's theorem (1829/35) provides an elegant algorithm to count and locate the real roots of any real polynomial. In his residue calculus (1831/37) Cauchy extended Sturm's method to count and locate the complex roots of any complex…
We make the first steps towards an understanding of the ergodic properties of a rational map defined over a complete algebraically closed non-archimedean field. For such a rational map R, we construct a natural invariant probability measure…
Generalizing a geometric idea due to J. Sondow, we give a geometric proof for the Cantor's Theorem. Moreover, it is given an irrationality measure for some Cantor series.
We apply the theory of disconjugate linear recurrence relations to the study of irrational quantities in number theory. In particular, for an irrational number associated with solutions of three-term linear recurrence relations we show that…
We extend the scope of analytic combinatorics to classes containing objects that have irrational sizes. The generating function for such a class is a power series that admits irrational exponents (which we call a Ribenboim series). A…
We consider and completely solve the parametrized family of Thue equations \begin{eqnarray*}X(X-Y)(X+Y)(X-\lambda Y)+Y^4=\xi,\end{eqnarray*} where the solutions $x,y$ come from the ring $\mathbb{C}[T]$, the parameter…
We give a proof for the fundamental theorem of algebra,using the Fredholm index phenomena
The parametric geometry of numbers has allowed to visualize the simultaneous approximation properties of a collection of real numbers through the combined graph of the related successive minima functions. Several inequalities among…
The Tutte polynomial is a fundamental invariant associated to a graph, matroid, vector arrangement, or hyperplane arrangement. This short survey focuses on some of the most important results on Tutte polynomials of hyperplane arrangements.…
In this paper we give an elementary proof of the Fundamental Theorem of Algebra for polynomials over the rational tropical semi-ring. We prove that, tropically, the rational numbers are algebraically closed. We provide a simple algorithm…
We state the fundamental theorem of projective geometry for semimodules over semirings, which is facilitated by recent work in the study of bases in semimodules defined over semirings. In the process we explore in detail the linear algebra…
We extend the theoretical framework of proof mining by establishing general logical metatheorems that allow for the extraction of the computational content of theorems with prima facie "non-computational" proofs from probability theory,…
In this paper we give a general upper bound for the irrationality exponent of algebraic Laurent series with coefficients in a finite field. Our proof is based on a method introduced in a different framework by Adamczewski and Cassaigne. It…
We study the $p$-adic (generalized) hypergeometric equations by using the theory of multiplicative convolution of arithmetic $\mathscr{D}$-modules. As a result, we prove that the hypergeometric isocrystals with suitable rational parameters…