Related papers: Explicit Implicit Function Theorem for All Fields

We interpret the "explicit formula" in the sense of analytic number theory for the zeta function of an ordinary abelian variety of dimension g over a finite field as a transversal index theorem on a (2g+1)-dimensional Riemannian foliated…

In this short note we give some corollaries of the polynomial inverse function theorem for large fields. We prove inverse and implicit function theorems for Nash maps over large fields, characterize large fields as fields satisfying inverse…

We characterize all linear operators which preserve spaces of entire functions whose zeros lie in a closed strip. Necessary and sufficient conditions are obtained for the related problem with real entire functions, and some classical…

For the discrete series representations of ${\rm GL}(n)$ over a non-archimedean local field $F$, we define a notion of functions similar to "zonal spherical functions" for unramified principal series. We prove the existence of such…

We establish the Fourier inversion for the smooth vectors in ${\rm L}^2({\rm GL}_2, \omega)$ over a number field $\mathbf{F}$, using minimal knowledge from automorphic representation theory. We point out a possible way to establish Fourier…

We systematically develop the Hilbert series technique for counting independent operators in Effective Field Theories. In the hope of providing more approachable entry point to the subject we include a detailed introduction of all necessary…

We give a new proof of Fatou's theorem: {\em if an algebraic function has a power series expansion with bounded integer coefficients, then it must be a rational function.} This result is applied to show that for any non--trivial completely…

We give an exact coefficients formula of any infinite product of power series with constant term equal to $1$, by using structures from partitions of integers and permutation groups. This is an universal theorem for various of Binomial-type…

The Fourier transform of the indicator function of arbitrary polygons and polyhedra is computed for complex wavevectors. Using the divergence theorem and Stokes' theorem, closed expressions are obtained. Apparent singularities, all…

We present an explicit formula for the discrete power function introduced by Bobenko, which is expressed in terms of the hypergeometric \tau functions for the sixth Painlev\'e equation. The original definition of the discrete power function…

The problem of inverting a system in presence of a series-defined output is analyzed. Inverse models are derived that consist of a set of algebraic equations. The inversion is performed explicitly for an output trajectory functional, which…

A mathematics student's first introduction to the fundamental theorem of finite fields (FTFF) often occurs in an advanced abstract algebra course and invokes the power of Galois theory to prove it. Yet the combinatorial and algebraic coding…

We prove a quantitative version of Hilbert's irreducibility theorem for function fields: If $f(T_1,\ldots, T_n,X)$ is an irreducible polynomial over the field of rational functions over a finite field $\mathbb{F}_q$ of characteristic $p$,…

We introduce a direct image formalism for constructible motivic functions. One deduces a very general version of motivic integration for which a change of variables theorem is proved. These constructions are generalized to the relative…

For large values of the Higgs mass the low energy structure of the gauged linear sigma model in the spontaneously broken phase can adequately be described by an effective field theory. We present a manifestly gauge-invariant functional…

Let G be a group and k a field of characteristic zero. We prove that if the Farrell-Jones conjecture for the K-theory of R[G] is satisfied for every smooth k-algebra R, then it is also satisfied for every commutative k-algebra R.

We study how the field of definition of a rational function changes under iteration. We provide a complete classification of polynomials with the property that the field of definition of one of their iterates drops in degree (over a given…

We formalize some basic properties of Fourier series in the logic of ACL2(r), which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework…

Assuming the existence of a Landau-Siegel zero, we establish an explicit Deuring-Heilbronn zero repulsion phenomenon for Dirichlet $L$-functions modulo $q$. Our estimate is uniform in the entire critical strip, and improves over the…

We prove an implicit function theorem for Keller C^k_c-maps from arbitrary real or complex topological vector spaces to Frechet spaces, imposing only a certain metric estimate on the partial differentials. As a tool, we show the…