Related papers: On Abel's problem and Gauss congruences

We investigate expansions of Presburger arithmetic, i.e., the theory of the integers with addition and order, with additional structure related to exponentiation: either a function that takes a number to the power of $2$, or a predicate for…

In this paper, we use the Bessel $\delta$-method, along with new variants of the van der Corput method in two dimensions, to prove non-trivial bounds for $\mathrm{GL}(2)$ exponential sums beyond the Weyl barrier. More explicitly, for sums…

In this paper we give a generalization of the main results in \cite{ab,ab1} about $b$-ary expansions of algebraic numbers. As a byproduct we get a large class of new transcendence criteria. One of our corollaries implies that $b$-ary…

The paper concerned with higher order asymptotic expansion of solutions to the Cauchy problem of abstract hyperbolic equations of the form $u''+Au+u'=0$ in a Hilbert space, where $A$ is a nonnegative selfadjoint operator. The result says…

This paper considers an extremal version of the Erd\H{o}s distinct distances problem. For a point set $P \subset \mathbb R^d$, let $\Delta(P)$ denote the set of all Euclidean distances determined by $P$. Our main result is the following: if…

A new approach is established to computing the image of a rational map, whereby the use of approximation complexes is complemented with a detailed analysis of the torsion of the symmetric algebra in certain degrees. In the case the map is…

The structure of classical non-linear $\cw$ algebras closing on rational functions is analyzed both for the ordinary and the supersymmetric case. Such algebras appear as a result of a coset construction. Their relevance to physical…

The analogue of Hilbert's tenth problem over $\mathbb{Q}$ asks for an algorithm to decide the existence of rational points in algebraic varieties over this field. This remains as one of the main open problems in the area of undecidability…

We introduce the notion of \pi-extension of the semigroup \mathbb{Z}_+ and study the extensions of the Toeplitz algebras by isometric operators. We show that when the action of the Toeplitz algebra is irreducible all such extensions…

The normal or Gaussian distribution plays a prominent role in almost all fields of science. However, it is well known that the Gauss (or Euler--Poisson) integral over a finite boundary, as it is necessary for instance for the error function…

In 1982, Gessel showed that the Ap\'ery numbers associated to the irrationality of $\zeta(3)$ satisfy Lucas congruences. Our main result is to prove corresponding congruences for all sporadic Ap\'ery-like sequences. In several cases, we are…

We show that if a finite, large enough subset A of an arbitrary abelian group satisfies the small doubling condition |A + A| < (log |A|)^{1 - epsilon} |A|, then A must contain a three-term arithmetic progression whose terms are not all…

We give a proof of Fourier extension conjecture on the paraboloid in all dimensions bigger than 2 that begins with a decomposition suggested in Sawyer [Saw8] of writing a smooth Alpert projection as a sum of pieces whose Fourier extensions…

We consider the Cauchy problem for the barotropic Euler system coupled to Helmholtz or Poisson equations, in the whole space. We assume that the initial density is small enough, and that the initial velocity is close to some reference…

In this work, we introduce the notion of Gevrey asymptotic expansion and we show how the classical concept of a convergent power series can be generalized to include the case in which the radius of convergence is zero. This technique can be…

Nowadays the Euler-Poisson-Darboux equation is extensively studied in several settings. The main questions on avery spaces are explicit solutions for the classical Cauchy problems with the second data null. In this note we will generalize…

We prove a number of elementary facts about computability in partial combinatory algebras (pca's). We disprove a suggestion made by Kreisel about using Friedberg numberings to construct extensional pca's. We then discuss separability and…

The numerical evaluation of an individual Bessel or Hankel function of large order and large argument is a notoriously problematic issue in physics. Recurrence relations are inefficient when an individual function of high order and argument…

We define certain arithmetic derivatives on $\mathbb{Z}$ that respect the Leibniz rule, are additive for a chosen equation $a+b=c$, and satisfy a suitable non-degeneracy condition. Using Geometry of Numbers, we unconditionally show their…

This paper is devoted to strictly hyperbolic systems and equations with non-smooth coefficients. Below a certain level of smoothness, distributional solutions may fail to exist. We construct generalised solutions in the Colombeau algebra of…