Related papers: Polynomial identities and Fermat quotients

We prove a strengthened form of a conjecture of Sun on a determinant attached to a binary quadratic form. Let $n>3$ and let $c,d\in\Z$. If $n$ is composite, then \[ \det\big[(i^2+cij+dj^2)^{n-2}\big]_{0\leq i,j\leq n-1}\equiv 0\pmod {n^2}…

We give a simple formula for some determinants, and an analogous formula for pfaffians, both of which are polynomial identities. The second involve some expressions that interpolate between determinants and pfaffians. We give several…

We present a method for obtaining congruences modulo powers of a prime number~$p$ for combinatorial sequences whose generating function satisfies an algebraic differential equation. This method generalises the one by Kauers and the authors…

In this paper, we will present several new congruences involving binomial coefficients under integer moduli, which are the continuation of the previous two work by Cai \textit{et al.} (2002, 2007).

In this paper, we give some identities of symmetry for the generalized degenerate Euler polynomials attached to chi which are derived from the symmetric properties for certain fermionic p-adic integrals on Zp.

In 2003, Zhao discovered a curious congruence involving harmonic series and Bernoulli numbers: for any odd prime $p$, $$\sum_{\substack{i,j,k\ge 1\\\gcd(ijk,p)=1\\i+j+k=p}}\frac{1}{ijk}\equiv -2B_{p-3} \pmod{p},$$ where $B_n$ is the $n$-th…

Consider an ordinary generating function $\sum_{k=0}^{\infty}c_kx^k$, of an integer sequence of some combinatorial relevance, and assume that it admits a closed form $C(x)$. Various instances are known where the corresponding truncated sum…

We prove bounds for the absolute sum of all level-$k$ Fourier coefficients for $(-1)^{p(x)}$, where polynomial $p:\mathbf{F}_2^n \to \mathbf{F}_2$ is of degree $1$ or degree $2$.

We prove four identities for the squared central binomial coefficients. The first three of them reflect certain transformation properties of the complete elliptic integrals of the first and the second kind, while the last one is based on…

We settle an old question about the existence of certain "sums-of-squares" formulas over a field F (which are the simplest examples of composition formulas for quadratic forms). A classical theorem says that if such a formula exists over a…

We revisit the proposed equality between discrete Fourier transforms of $p$-adic $\Gamma_p$--values and $p$-adic $L$--derivatives for odd characters modulo a prime $p$. The clean identity is false in general. Building on Coleman reciprocity…

Building on work of Zhi-Hong Sun, we establish congruences for the special harmonic numbers $H_\lfloor p/9 \rfloor$ and $H_{\lfloor p/18 \rfloor}$ modulo $p$, which contain respectively three and four distinct arithmetic components. We also…

In this paper, we investigate some new symmetric identities for the q-Euler polynomials under the symmetric group of degree n which are derived from fermionic p-adic q-integrals on Zp.

We will study the solution of a congruence, $x \equiv g^{(1/2)\omega_g(2^n)} \bmod 2^n$, depending on the integers $g$ and $n$, where $\omega_g(2^n)$ denotes the order of $g$ modulo $2^n$. Moreover, we introduce an application of the above…

In this paper, we derive basic identities of symmetry in two variables related to higher-order q-Euler polynomials and q-analogue of higher order alternating power sums. The derivation of identities are based on the multibvariate p-adic…

For an odd prime $p$ and an integer $w\ge 1$, polynomial quotients $q_{p,w}(u)$ are defined by $$ q_{p,w}(u)\equiv \frac{u^w-u^{wp}}{p} \bmod p ~~ \mathrm{with}~~ 0 \le q_{p,w}(u) \le p-1, ~~u\ge 0, $$ which are generalizations of Fermat…

We prove an inverse relation and a family of convolution formulas involving partial Bell polynomials. Known and some presumably new combinatorial identities of convolution type are discussed. Our approach relies on an interesting…

For an odd prime $p$, we realize the trivial representation of $\mathrm{GL}_2(\mathbb{Z}/p^n\mathbb{Z})$ on the free $\mathbb{Z}/p^n \mathbb{Z}$-module of rank one as a subquotient of a direct sum of symmetric power representations (twisted…

We derive an identity that relates a class of multiple integrals involving Vandermonde polynomials to divided differences. Alternatively the identity can be viewed as an integral formula for divided differences. As part of the derivation we…

The Modular Group provides simple proofs of Fermat's representations: X^2+Y^2 for primes congruent to 1 (mod 4) and by X^2+3Y^2 for primes congruent to 1 (mod 3)