Related papers: A note on Christol's theorem

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…

Understanding when an abstract complex curve of given genus comes equipped with a map of fixed degree to a projective space of fixed dimension is a foundational question; and Brill--Noether theory addresses this question via linear series,…

For every natural number k we introduce the notion of k-th order convolution of functions on abelian groups. We study the group of convolution preserving automorphisms of function algebras in the limit. It turns out that such groups have…

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

As generalizations of random graphs, random simplicial complexes have been receiving growing attention in the literature. In this paper, we naturally extend the Random Connection Model (RCM), a random graph that has been extensively studied…

We consider the problem of constraining a particle to a submanifold Sigma of configuration space using a sequence of increasing potentials. We compare the classical and quantum versions of this procedure. This leads to new results in both…

We prove a sparse bound in the context of Schauder theory for divergence form elliptic partial differential equations. In addition, we show how an iteration argument inspired by sparse domination bounds can be used to deduce gradient…

Courcelle's celebrated theorem states that all MSO-expressible properties can be decided in linear time on graphs of bounded treewidth. Unfortunately, the hidden constant implied by this theorem is a tower of exponentials whose height…

Following our earlier work, we construct statistical discrete geometry by applying statistical mechanics to discrete (Regge) gravity. We propose a coarse-graining method for discrete geometry under the assumptions of atomism and background…

A new algebraic Cayley graph is constructed using finite fields. Its connectedness and diameter bound are studied via Weil's estimate for character sums. These graphs provide a new source of expander graphs, extending classical results of…

We study the nodal curves of low energy Dirichlet eigenfunctions in generalized curvilinear quadrilaterals. The techniques can be seen as a generalization of the tools developed by Grieser-Jerison in a series of works on convex planar…

We consider the discrete versions of the well known Borg theorem and use simple linear algebraic techniques to obtain new versions of the discrete Borg type theorems. To be precise, we prove that the periodic potential of a discrete…

Robertson and Seymour proved that every graph with sufficiently large treewidth contains a large grid minor. However, the best known bound on the treewidth that forces an $\ell\times\ell$ grid minor is exponential in $\ell$. It is unknown…

A compact and accurate solution method is provided for problems whose infinite power series solution diverges and/or whose series coefficients are only known up to a finite order. The method only requires that either the power series…

We prove some results on the fibers and images of rational maps from a hyper-K\"ahler manifold. We study in particular the minimal genus of fibers of a fibration into curves. The last section of this paper is devoted to the study of the…

In [1], J. Ax proved a transcendency theorem for certain differential fields of characteristic zero: the differential counterpart of the still open Schanuel's conjecture about the exponential function over the field of complex numbers [11,…

For a given number field $K$, we show that the ranks of nonsingular elliptic curves over $K$ are uniformly finitely bounded if and only if weak Mordell-Weil property holds in all(some) ultrpowers $^*K$ of $K$. Also we introduce Nonstandard…

We prove a continuous-parameter version of the recent theorem of Katznelson-Tzafiri type for power-bounded operators which have a bounded calculus for analytic Besov functions. We also show that the result can be extended to some operators…

We introduce the notion of the Automatic Logarithm $\mathcal L_{\mathcal A, \mathcal B}$ with the purpose of studying the expanding properties of Schreier graphs of action of the group generated by two finite initial Mealy automata…

Numerous problems of analysis (real and complex) and geometry (analytic, algebraic, Diophantine e.a.) can be reduced to calculation of the ``number of solutions'' of systems of equations, defined by algebraic equalities and differential…