Related papers: Deconstructing the Welch Equation Using $p$-adic M…
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…
When using a Groebner basis to solve the highly symmetric system of algebraic equations defining the cyclic p-roots, one has the feeling that much of the advantage of computerized symbolic algebra over hand calculation is lost through the…
A simple and natural Gao algorithm for decoding algebraic codes is described. Its relation to the Welch-Berlekamp and Euclidean algorithms is given.
For h=3 or 4, Egyptian decompositions into h unit fractions, like 2/D = 1/D1 + ... +1/Dh, were given by using (h-1) divisors (di) of D1. This ancient modus operandi, well recognized today, provides Di=DD1/di for i greater than 1.…
In this paper, we propose a $W$-cycle $p$-multigrid method for solving the $p$-version symmetric interior penalty discontinuous Galerkin (SIPDG) discretization of elliptic problems. This SIPDG discretization employs hierarchical Legendre…
This article is devoted to computing the eigenvalue of the Laplace eigenvalue problem by the weak Galerkin (WG) finite element method with emphasis on obtaining lower bounds. The WG method is on the use of weak functions and their weak…
In this paper, using $p$-adic analysis and $p$-adic L-functions, we show how to extend classical congruences (due to Wilson, Gauss, Dirichlet, Jacobi, Wolstenholme, Glaisher, Morley, Lemher and other people) to modulo $p^k$ for any $k>0$.
Post-Quantum Cryptography (PQC) attempts to find cryptographic protocols resistant to attacks using Shor polynomial time algorithm for numerical field problems or Grover search algorithm. A mostly overlooked but valuable line of solutions…
We bring in here a novel algebraic approach for attacking the McEliece cryptosystem. It consists in introducing a subspace of matrices representing quadratic forms. Those are associated with quadratic relationships for the component-wise…
We consider private polynomial computation (PPC) over noncolluding coded databases. In such a setting a user wishes to compute a multivariate polynomial of degree at most $g$ over $f$ variables (or messages) stored in multiple databases…
We consider questions in Galois cohomology which arise by considering mod $p$ Galois representations arising from automorphic forms. We consider a Galois cohomological analog for the standard heuristics about the distribution of Wieferich…
We study the $p$-adic (generalized) hypergeometric equations by using the theory of multiplicative convolution of arithmetic $\mathscr{D}$-modules. As a result, we prove that the hypergeometric isocrystals with suitable rational parameters…
Generalised Fermat equation (GFE) is the equation of the form $ax^p+by^q=cz^r$, where $a,b,c,p,q,r$ are positive integers. If $1/p+1/q+1/r<1$, GFE is known to have at most finitely many primitive integer solutions $(x,y,z)$. A large body of…
We derive $p$-adic expansions for the generalized Harmonic numbers $H^{(j)}_{p-1}$ and $H^{(j)}_{\frac{p-1}{2}}$ involving the Bernoulli numbers $B_j$ and the the base-2 Fermat quotient $q_p$. While most of our results are not new, we…
We explore an algorithm which systematically finds all discrete eigenvalues of an analytic eigenvalue problem. The algorithm is more simple and elementary as could be expected before. It consists of Hejhal's identity, linearisation, and…
We consider two basic algorithmic problems concerning tuples of (skew-)symmetric matrices. The first problem asks to decide, given two tuples of (skew-)symmetric matrices $(B_1, \dots, B_m)$ and $(C_1, \dots, C_m)$, whether there exists an…
In this paper we study elliptic partial differential equations with rapidly varying diffusion coefficient that can be represented as a perturbation of a reference coefficient. We develop a numerical method for efficiently solving multiple…
Using the theory of $(\phi,\Gamma)$-modules and the formalism of Selmer complexes we construct the p-adic height for p-adic representations with coefficients in an affinoid algebra over $Q_p$.
Let $p$ be an odd prime and let $a,m$ be integers with $a>0$ and $m \not\equiv0\pmod p$. In this paper we determine $\sum_{k=0}^{p^a-1}\binom{2k}{k+d}/m^k$ mod $p^2$ for $d=0,1$; for example,…
We present a proof procedure for univariate real polynomial problems in Isabelle/HOL. The core mathematics of our procedure is based on univariate cylindrical algebraic decomposition. We follow the approach of untrusted certificates,…