Related papers: Local and global methods in arithmetic (in Russian…
Two general methods for establishing the logarithmic behavior of recursively defined sequences of real numbers are presented. One is the interlacing method, and the other one is based on calculus. Both methods are used to prove logarithmic…
In this short review, we pay attention to some subtleties in the study of projective representations, contrasting local to global properties and their interplay. The analysis is exposed rigorously, showing and demonstrating the main…
This paper deals with the use of numerical methods based on random root sampling techniques to solve some theoretical problems arising in the analysis of polynomials. These methods are proved to be practical and give solutions where…
The classical $abc$ theorem for polynomials (often called Mason's theorem) deals with nontrivial polynomial solutions to the equation $a+b=c$. It provides a lower bound for the number of distinct zeros of the polynomial $abc$ in terms of…
Computations over the rational numbers often suffer from intermediate coefficient swell. One solution to this problem is to apply the given algorithm modulo a number of primes and then lift the modular results to the rationals. This method…
This paper deals with simultaneously fast and in-place algorithms for formulae where the result has to be linearly accumulated: some of the output variables are also input variables, linked by a linear dependency. Fundamental examples…
We establish sharp estimates that adapt the polynomial method to arbitrary varieties. These include a partitioning theorem, estimates on polynomials vanishing on fixed sets and bounds for the number of connected components of real algebraic…
In this paper we prove some transformation formulae for congruences modulo a prime and deduce some congruences for Domb numbers and Almkvist-Zudilin numbers. We also pose some conjectures on congruences modulo prime powers.
A new procedure for the global construction of the Casimir invariants and Darboux canonical form for finite-dimensional Poisson systems is developed. This approach is based on the concept of matrix congruence and can be applied without the…
For a composite $n$ and an odd $c$ with $c$ not dividing $n$, the number of solutions to the equation $n+a\equiv b\mod c$ with $a,b$ quadratic residues modulus $c$ is calculated. We establish a direct relation with those modular solutions…
For a prime $p$ and a positive integer $s$ consider a homogeneous linear system over the ring $\mathbb{Z}_{p^s}$ (the ring of integers modulo $p^s$) described by an $n \times m$-matrix. The possible number of solutions to such a system is…
This work describes numerical methods that are useful in many areas: examples include statistical modelling (bioinformatics, computational biology), theoretical physics, and even pure mathematics. The methods are primarily useful for the…
Constraint propagation is one of the techniques central to the success of constraint programming. To reduce search, fast algorithms associated with each constraint prune the domains of variables. With global (or non-binary) constraints, the…
We discuss recent developments in $p$-adic geometry, ranging from foundational results such as the degeneration of the Hodge-to-de Rham spectral sequence for "compact $p$-adic manifolds" over new period maps on moduli spaces of abelian…
We introduce a general class of algorithms and supply a number of general results useful for analysing these algorithms when applied to regular graphs of large girth. As a result, we can transfer a number of results proved for random…
For a prime $p$ and a matrix $A \in \mathbb{Z}^{n \times n}$, write $A$ as $A = p (A \,\mathrm{quo}\, p) + (A \,\mathrm{rem}\, p)$ where the remainder and quotient operations are applied element-wise. Write the $p$-adic expansion of $A$ as…
In this paper, we study local systems of locally finite associative algebras over fields of characteristic p\ge0. We describe the perfect local systems and study the relation between them and their corresponding locally finite associative…
Let $ p $ be a prime lager than 3. Let $k$ be a number field, which does not contain the subfield of $\mathbb{Q} (\zeta_{p^2})$ of degree $p$ over $\mathbb{Q}$. Suppose that $\mathcal{E}$ is an elliptic curve defined over $k$. We prove that…
This paper provides both the theoretical results and numerical calculations of global solution curves, by continuation in global parameters. Each point on the solution curves is computed directly as the global parameter is varied, so that…
The goal of this paper is to show a (derived) $p$-adic Simpson correspondence for (locally) unipotent coefficients on smooth rigid-analytic varieties. Our results depend on a deformation to $\mathbf{B}_\mathtt{dr}^+/\xi^2$, and not on a…