Related papers: A $p$-adic lower bound for a linear form in logari…

We establish lower bounds for the $p$-divisibility of the quantity $\#\operatorname{Hom}(G,GL_n(\mathbb{F}_q))$, the number of homomorphisms from $G$ to a general linear group, where $G$ is an Abelian $p$-group. This is in analogy to the…

We present an efficient algorithm for computing certain special values of Rankin triple product $p$-adic L-functions and give an application of this to the explicit construction of rational points on elliptic curves.

We present a new proof rule for verifying lower bounds on quantities of probabilistic programs. Our proof rule is not confined to almost-surely terminating programs -- as is the case for existing rules -- and can be used to establish…

The existence of unimodular forms with small norms on sequence spaces is crucial in a variety of problems in modern analysis. We prove that the infimum of $\left\Vert A\right\Vert $ over all unimodular $d$-linear (complex or real) forms $A$…

We apply polynomial techniques (linear programming) to obtain lower and upper bounds on the covering radius of spherical designs as function of their dimension, strength, and cardinality. In terms of inner products we improve the lower…

The use of approximants of Pad\`e type are employed to develop a method aimed at opening new perspectives in the theory of Appell polynomials $a_n(x)$, specified by the generating function \sum_{n=0}^{\infty} \frac{t^n}{n!} a_n(x) = A(t)…

We study an approximate version of $q$-query LDCs (Locally Decodable Codes) over the real numbers and prove lower bounds on the encoding length of such codes. A $q$-query $(\alpha,\delta)$-approximate LDC is a set $V$ of $n$ points in…

Several algorithms in computer algebra involve the computation of a power series solution of a given ordinary differential equation. Over finite fields, the problem is often lifted in an approximate $p$-adic setting to be well-posed. This…

Using linear forms in logarithms we prove an explicit result of Andr\'e-Oort type for $\mathbb{P}^1(\mathbb{C}) \times \mathbb{G}_m(\mathbb{C})$. In this variation the special points of $\mathbb{P}^1(\mathbb{C}) \times…

We present bounds of quadratic form for the logarithm of the Gaussian Q-function. We also show an analytical method for deriving log-quadratic approximations of the Q-function and give an approximation with absolute error less than…

\noindent In this article, we determine all the integers $c$ having at least two representations as difference between two linear recurrent sequences. This is a variant of the Pillai's equation. This equation is an exponential Diophantine…

In this short paper, we give a $p$-adic analogue of the Hard Leftschetz Theorem.

The purpose of this paper is to give the explicit formulae of p-adic l-functions and sums of powers which are related to Euler numbers.

We exhibit the first explicit examples of Salem sets in $\mathbb{Q}_p$ of every dimension $0 < \alpha < 1$ by showing that certain sets of well-approximable $p$-adic numbers are Salem sets. We construct measures supported on these sets that…

We prove lower bounds on the length of regular expressions for finite languages by methods from arithmetic circuit complexity. First, we show a reduction: the length of a regular expression for a language $L\subseteq \{0,1\}^n$ is bounded…

Let P(x) be a one-variable Laurent polynomial of degree (d_1,d_2) over a finite field of characteristic p. For any fixed positive integer s not divisible by p, we prove that the (normalized) p-adic Newton polygon of the L-functions of…

Curves in a family derived from powers of the polar coordinate formula for ellipses are found to provide good fits to bound orbits in a range of power-law potentials. This range includes the well-known $1/r$ (Keplerian) and logarithmic…

For an operator-differential equation of the form $y^{(m)}(z) = Ay(z)$, where $A$ is a closed linear operator on a Banach space over the the field of $p$-adic numbers, the necessary and sufficient conditions on initial data for the Cauchy…

We construct a dual exponential map which relates the $p$-adic Eisenstein classes to Eisenstein series. From this map, we deduce a compatibility between the $p$-adic realization and the de Rham realization of the torsion sections of the…

Inspired by a beautiful formula of Bertolini, Darmon, and Prasanna -- the oft-termed BDP formula -- we address questions about the non-vanishing of non-torsion points under $p$-adic logarithms of abelian varieties. We largely consider…