Related papers: Effective Differential L\"uroth's Theorem

The ring $\text{Diff}_{\mathbf{h}}(n)$ of $\mathbf{h}$-deformed differential operators appears in the theory of reduction algebras. In this thesis, we construct the rings of generalized differential operators on the $\mathbf{h}$-deformed…

In this paper, we study the consequences of the fundamental theorem of calculus from an algebraic point of view. For functions with singularities, this leads to a generalized notion of evaluation. We investigate properties of such…

For R(z, w) rational with complex coefficients, of degree at least 2 in w, we show that the number of rational functions f(z) solving the difference equation f(z+1)=R(z, f(z)) is finite and bounded just in terms of the degrees of R in the…

L\"uroth series, like regular continued fractions, provide an interesting identification of real numbers with infinite sequences of integers. These sequences give deep arithmetic and measure-theoretic properties of subsets of numbers…

Consider a third order linear differential equation $L(f)=0$, where $L\in\mathbb{Q}(z)[\partial_z]$. We design an algorithm computing the Liouvillian solutions of $L(f)=0$. The reducible cases devolve to the classical case of second order…

In this paper we investigate the uniform distribution properties of polynomials in many variables and bounded degree over a fixed finite field F of prime order. Our main result is that a polynomial P : F^n -> F is poorly-distributed only if…

Let $\mathcal{L}$ be the general second order differential operator with complex-valued distributional coefficients $A=(a_{jk})_{j, k=1}^n$, $\vec{b}=(b_{j})_{j=1}^n$, and $c$ in an open set $\Omega \subseteq \mathbb{R}^n$ ($n \ge 1$), with…

Let $\mathcal K$ be a field of formal Laurent series with coefficients in a finite field of characteristic $p$, $\mathcal G_{<p}$ -- the maximal quotient of $\operatorname{Gal} (\mathcal K_{sep}/\mathcal K)$ of period $p$ and nilpotent…

The aim of this paper is twofold. Firstly we present our main discovery arising from experiments which is the tauberian concept of functions of good variation (FGV). Secondly we propose to use these FGV for proving RH is true via some…

By applying inter-universal Teichm\"uller theory and its slight modification over the rational number field, we prove new Diophantine results towards effective abc inequalities and the generalized Fermat equations. For coprime integers $a,…

We prove that a first order linear differential operator G with unbounded operator coefficients is Fredholm on spaces of functions on the real line with values in a reflexive Banach space if and only if the corresponding strongly continuous…

In its most basic form, Dubreil's Theorem states that for an ideal $I$ defining a codimension $2$, arithmetically Cohen--Macaulay subscheme of projective $n$-space, the number of generators of $I$ is bounded above by the minimal degree of a…

We consider the steady fractional Schr\"odinger equation $L u + V u = f$ posed on a bounded domain $\Omega$; $L$ is an integro-differential operator, like the usual versions of the fractional Laplacian $(-\Delta)^s$; $V\ge 0$ is a potential…

We establish an operator-theoretic uncertainty principle over arbitrary compact groups, generalizing several previous results. As a consequence, we show that if f is in L^2(G), then the product of the measures of the supports of f and its…

We prove a highly uniform version of the prime number theorem for a certain class of $L$-functions. The range of $x$ depends polynomially on the analytic conductor, and the error term is expressed in terms of an optimization problem…

The main purpose of this note is to establish an effective version of the Grunwald--Wang Theorem, which asserts that given a family of local characters $\chi^{v}$ of $K_{v}^{*}$ of exponent $m$ where $v \in S$ for a finite set $S$ of primes…

A conjecture of Odoni stated over Hilbertian fields $K$ of characteristic zero asserts that for every positive integer $d$, there exists a polynomial $f\in K[x]$ of degree $d$ such that for every positive integer $n$, each iterate $f^{\circ…

Suppose that G is a linearly reductive group. We study the minimal free resolution of the invariant ring. If G is a finite linearly reductive group, then the ring of invariants is generated in degree at most |G|, the group order. We prove…

We obtain new explicit pseudorandom generators for several computational models involving groups. Our main results are as follows: 1. We consider read-once group-products over a finite group $G$, i.e., tests of the form $\prod_{i=1}^n…

We design a deterministic subexponential time algorithm that takes as input a multivariate polynomial $f$ computed by a constant-depth circuit over rational numbers, and outputs a list $L$ of circuits (of unbounded depth and possibly with…