Related papers: Linear forms in logarithms and integral points on …
We present closed forms for several functions that are fundamental in number theory and we explain the method used to obtain them. Concretely, we find formulas for the p-adic valuation, the number-of-divisors function, the sum-of-divisors…
We prove that integral points can be effectively determined on all but finitely many modular curves, and on all but one modular curve of prime power level.
We study the incomplete Mellin transformation of the fractional part and the related log-sine function when composed by an affine complex map. We evaluate the corresponding integral in two different ways which yields equalities with series…
In this paper, we establish some Stein-Weiss type inequalities with general kernels on the upper half space and study the existence of extremal functions for this inequality with the optimal constant. Furthermore, we also investigate the…
Integrating a product of linear forms over the unit simplex can be done in polynomial time if the number of variables n is fixed (V. Baldoni et al., 2011). In this note, we highlight that this problem is equivalent to obtaining the…
In this paper consisting of two parts, we study the integral of a logarithmic differential form on a compact semi-algebraic set in R^n or C^n. In Part I, we prove the convergence of the integral when the semi-algebraic set satisfies…
It is shown that in dimension at least three a local diffeomorphism of Euclidean n-space into itself is injective provided that the pull-back of every plane is a Riemannian submanifold which is conformal to a plane. Using a similar…
We prove the logarithmic extension theorem for one-forms on strongly $F$-regular singularities. Additionally, we establish the logarithmic extension theorem for one-forms on three-dimensional klt singularities in characteristic $p>41$. To…
In this paper, we introduce a class of high order immersed finite volume methods (IFVM) for one-dimensional interface problems. We show the optimal convergence of IFVM in H1 and L2 norms. We also prove some superconvergence results of IFVM.…
In this paper, we prove a general result computing the number of rational points of bounded height on a projective variety $V$ which is covered by lines. The main technical result used to achieve this is an upper bound on the number of…
The purpose of this paper is: 1) to explain the Seiberg-Witten invariants, 2) to show that - on a K\"ahler surface - the solutions of the monopole equations can be interpreted as algebraic objects, namely effective divisors, 3) to give - as…
This paper presents a novel framework for high-dimensional nonlinear quantum computation that exploits tensor products of amplified vector and matrix encodings to efficiently evaluate multivariate polynomials. The approach enables the…
This article carries out a qualitative analysis on a system of integral equations of the Hardy--Sobolev type. Namely, results concerning Liouville type properties and the fast and slow decay rates of positive solutions for the system are…
Given a logarithmic $1$-form on the snc locus of a log canonical surface pair $(X, D)$ over a perfect field of characteristic $p \ge 7$, we show that it extends with at worst logarithmic poles to any resolution of singularities. We also…
We study finite-dimensional spaces of rational one-forms on a projective manifold by means of their integrable locus.
For a small disk D centered at the origin in R^2, a smooth real-valued function S(x,y) on D, and a positive epsilon, we consider the measure of the points in D where |S(x,y)| < epsilon, as well as oscillatory integral analogues.…
We prove a few uniform versions of the Mordell-Lang Conjecture and of the Shafarevich Conjecture for curves over function fields and their rational points. The main focus is on function fields having high transcendence degree over the…
We prove uniform upper bounds on the number of integral points of bounded height on affine varieties. If $X$ is an irreducible affine variety of degree $d\geq 4$ in $\mathbb{A}^n$ which is not the preimage of a curve under a linear map…
The construction of the general solution sequence of row-finite linear systems is accomplished by implementing -ad infinitum- the Gauss-Jordan algorithm under a rightmost pivot elimination strategy. The algorithm generates a basis (finite…
When $\Gamma$ is a row-finite di(rected )graph we classify all finite dimensional modules of the Leavitt path algebra $L(\Gamma)$ via an explicit Morita equivalence given by an effective combinatorial (reduction) algorithm on the digraph…