Related papers: Lucas' theorem modulo $p^2$

We consider the family of irreducible crystalline representations of dimension $2$ of ${\rm Gal}(\overline{\bf Q}_p/{\bf Q}_p)$ given by the $V_{k,a_p}$ for a fixed weight integer $k\geq 2$. We study the locus of the parameter $a_p$ where…

First, we present a new proof of Glaisher's formula dating from 1900 and concerning Wilson's theorem modulo p^2. Our proof uses p-adic numbers and Faulhaber's formula for the sums of powers (17th century), as well as more recent results on…

The coefficients c(n,k) defined by (1-k^2x)^(-1/k) = sum c(n,k) x^n reduce to the central binomial coefficients for k=2. Motivated by a question of H. Montgomery and H. Shapiro for the case k=3, we prove that c(n,k) are integers and study…

Let p be any prime and a be a positive integer. For nonnegative integers l,n and an integer r, the normalized cyclotomic $\psi$-coefficient $${n,r}_{l,p^a}:=p^{-[(n-p^{a-1}-lp^a)/(p^{a-1}(p-1))]} \sum_{k=r(mod p^a)}(-1)^k{n \choose…

In this paper, we study how small a box contains at least two points from a modular cubic polynomial $y \equiv a x^3 + b x^2 + c x + d \pmod p$ with $(a, p) = 1$. We prove that some square of side length $p^{1/6 + \epsilon}$ contains two…

It will be shown that Pascal's Theorem is equivalent to the associativity of a natural binary operation on conic sections. A novel proof for Pascal's Theorem will then be given by showing that this binary operation is associative…

Irreducible crystalline representations of dimension 2 of Gal(Qpbar/Qp) depend up to twist on two parameters, the weight k and the trace of frobenius a_p. We show that the reduction modulo p of such a representation is a locally constant…

We prove congruence relations modulo cyclotomic polynomials for multisums of $q$-factorial ratios, therefore generalizing many well-known $p$-Lucas congruences. Such congruences connect various classical generating series to their…

We prove lower bounds for the number of primes $p \leq N + b$ such that $p-b$ is divisible by $2^{k(N)}$ and has at most $k$ odd prime factors ($k \geq 2$), assuming $2^{k(N)} \leq N^\theta$ for some $\theta > 0$ depending on $k$. The proof…

Motivated by the resemblance of a multivariate series identity and a finite analogue of Euler's pentagonal number theorem, we study multiple extensions of the latter formula. In a different direction we derive a common extension of this…

This paper presents some basic theorems giving the structure of cyclic codes of length n over the ring of integers modulo p^a and over the p-adic numbers, where p is a prime not dividing n. An especially interesting example is the 2-adic…

In this work, by using Pauli matrices, we introduce four families of polynomials indexed over the positive integers. These polynomials have rational or imaginary rational coefficients. It turns out that two of these families are closely…

The main objective of this project is to determine all irreducible modules of a given modular Lie algebra. In contrast to ordinary Lie algebras, modular Lie algebras require an additional structure known as the p-mapping. The minimal…

(Dieudonn\'e and) Dwork's lemma gives a necessary and sufficient condition for an exponential of a formal power series $S(z)$ with coefficients in $Q_p$ to have coefficients in $Z_p$. We establish theorems on the $p$-adic valuation of the…

A natural construction of the logarithmic extension of the M(2,p) minimal models is presented, which generalises our previous model [0708.0802] of percolation (p=3). Its key aspect is the replacement of the minimal model irreducible modules…

We use the p-adic local Langlands correspondence for GL_2(Q_p) to find the reduction modulo p of certain two-dimensional crystalline Galois representations. In particular, we resolve a conjecture of Breuil, Buzzard, and Emerton in the case…

We consider the Markoff-Rosenberger equation $$ax^2+by^2+cz^2=dxyz$$ with $(x,y,z)=(U_i,U_j,U_k),$ where $U_i$ denotes the $i$-th generalized Lucas number of first/second kind. We provide upper bound for the minimum of the indices and we…

The notion of $p$-modulus of a family of objects on a graph is a measure of the richness of such families. We develop the notion of minimal subfamilies using the method of Lagrangian duality for $p$-modulus. We show that minimal subfamilies…

I explain a direct approach to differentiation and integration. Instead of relying on the general notions of real numbers, limits and continuity, we treat functions as the primary objects of our theory, and view differentiation as division…

The problem of backward dynamics over the ring of p-adic integers is studied. It is shown that Inverse Limit Theory provides the right framework. Backward iterations of a polynomial with p-adic integer coefficients are constructed by…