Related papers: Effective behavior of multiple linear systems

We obtain an effective version of Matsusaka's theorem for arbitrary smooth algebraic surfaces in positive characteristic, which provides an effective bound on the multiple which makes an ample line bundle D very ample. The proof for…

The Riemann-Roch theorem is of utmost importance in the algebraic geometric theory of compact Riemann surfaces. It tells us how many linearly independent meromorphic functions there are having certain restrictions on their poles. The aim of…

The notes start with an elementary introduction to a few important analytic techniques of algebraic geometry: closed positive currents, $L^2$ estimates for the $\dbar$-operator on positive vector bundles, Nadel's vanishing theorem for…

Recently, Garunk\v{s}tis, Laurin\v{c}ikas, Matsumoto, J. & R. Steuding showed an effective universality-type theorem for the Riemann zeta-function by using an effective multi-dimensional denseness result of Voronin. We will generalize…

In [1] M. Baker and S. Norine developed a theory of divisors and linear systems on graphs, and proved a Riemann-Roch Theorem for these objects (conceived as integer-valued functions on the vertices). In [2] and [3] the authors generalized…

Let $S$ be a finite set of primes. For sufficiently large $n$ and $d$, Lawrence and Venkatesh proved that in the moduli space of hypersurfaces of degree $d$ in $\mathbb{P}^n$, the locus of points with good reduction outside $S$ is not…

For a smooth $k$-dimensional submanifold $\Sigma$ of a $d$-dimensional compact Riemannian manifold $M$, we extend the $L^p(\Sigma)$ restriction bounds of Burq-G\'erard-Tzvetkov -- originally proved for individual Laplace--Beltrami…

Since K\H{o}v\'ari, S\'os, and Tur\'an proved upper bounds for the Zarankiewicz problem in 1954, much work has been undertaken to improve these bounds, and some have done so by restricting to particular classes of graphs. In 2017, Fox,…

We obtain a general lower bound for the number of fixed points of a circle action on a compact almost complex manifold $M$ of dimension $2n$ with nonempty fixed point set, provided the Chern number $c_1c_{n-1}[M]$ vanishes. The proof…

We prove an effective upper bound on the number of effective sections of a hermitian line bundle over an arithmetic surface. It is an effective version of the arithmetic Hilbert--Samuel formula in the nef case. As a consequence, we obtain…

For each $n$, let $\text{RD}(n)$ denote the minimum $d$ for which there exists a formula for the general polynomial of degree $n$ in algebraic functions of at most $d$ variables. In 1945, Segre called for a better understanding of the large…

In 1898 Charles Jean de la Valle Poussin, as part of his famed proof of the prime number theorem, developed an ineffective bound on the first Chebyshev function of the form: \[ |\theta(x)-x| = \mathcal{O}\left(x \exp(-K \sqrt{\ln…

Using proof-theoretic methods in the style of proof mining, we give novel computationally effective limit theorems for the convergence of the Cesaro-means of certain sequences of random variables. These results are intimately related to…

The Subspace Theorem due to Schmidt (1972) is a broad generalisation of Roth's Theorem in Diophantine Approximation (1955) which, in the same way as the latter, suffers a notorious lack of effectivity. This problem is tackled from a…

We present and discuss the many results obtained concerning a famous limit theorem, the local limit theorem, which has many interfaces, with Number Theory notably, and for which, in spite of considerable efforts, the question concerning…

During the last decade the Subspace Theorem found several quite unexpected applications, mainly in the Diophantine Analysis and in the Transcendence Theory. Among the great variety of spectacular results, I have chosen several which are…

We prove that $n$-dimensional smooth hypersurfaces of degree $n+1$ are superrigid. Starting with the work of Fano in 1915, the proof of this Theorem took 100 years and a dozen researchers to construct. Here I give complete proofs, aiming to…

In 1989 George Cybenko proved in a landmark paper that wide shallow neural networks can approximate arbitrary continuous functions on a compact set. This universal approximation theorem sparked a lot of follow-up research. Shen, Yang and…

A fundamental question in Dynamical Systems is to identify regions of phase/parameter space satisfying a given property (stability, linearization, etc). Given a family of analytic circle diffeomorphisms depending on a parameter, we obtain…

Consider a linear program of the form $\max\;c^{\top}x:Ax\leq b$, where $A$ is an $m\times n$ integral matrix. In 1986 Cook, Gerards, Schrijver, and Tardos proved that, given an optimal solution $x^{*}$, if an optimal integral solution…