Related papers: Wilson's theorem modulo p^2 derived from Faulhaber…

In 1853 Sylvester stated and proved an elegant formula that expresses the polynomial subresultants in terms of the roots of the input polynomials. Sylvester's formula was also recently proved by Lascoux and Pragacz by using multi-Schur…

Let $p$ be an odd prime. In the paper, by using the properties of Legendre polynomials we prove some congruences for $\sum_{k=0}^{\frac{p-1}2}\binom{2k}k^2m^{-k}\mod {p^2}$. In particular, we confirm several conjectures of Z.W. Sun. We also…

For positive integers m and n, denote S(m,n) as the associated Stirling number of the second kind and let z be a complex variable. In this paper, we introduce the Stirling functions S(m,n,z) which satisfy S(m,n,z) = S(m,n) for any z which…

We prove the integrality of the open instanton numbers in two examples of counting holomorphic disks on local Calabi-Yau threefolds: the resolved conifold and the degenerate $ \P \times \P $. Given the B-model superpotential, we extract by…

Recently, using modular forms F. Beukers posed a unified method that can deal with a large number of supercongruences involving binomial coefficients and Ap\'ery-like numbers. In this paper, we use Beukers' method to prove some conjectures…

In the paper, the author elementarily unifies and generalizes eight identities involving the functions $\frac{\pm1}{e^{\pm t}-1}$ and their derivatives. By one of these identities, the author establishes two explicit formulae for computing…

The polynomials $d_n(x)$ are defined by \begin{align*} d_n(x) &= \sum_{k=0}^n{n\choose k}{x\choose k}2^k. \end{align*} We prove that, for any prime $p$, the following congruences hold modulo $p$: \begin{align*}…

Let $p>3$ be a prime. We prove that $$\sum_{k=0}^{p-1}\binom{2k}{k}/2^k=(-1)^{(p-1)/2}-p^2E_{p-3} (mod p^3),$$ $$\sum_{k=1}^{(p-1)/2}\binom{2k}{k}/k=(-1)^{(p+1)/2}8/3*pE_{p-3} (mod p^2),$$…

It is believed that any p-adic Galois representation which is potentially semistable arises from a modular form. The main theorem of Wiles establishes this modularity when the representation in question satisfies various technical…

In this paper, we mainly prove a congruence conjecture of Z.-W. Sun \cite{Sjnt}: Let $p>5$ be a prime. Then $$ \sum_{k=(p+1)/2}^{p-1}\frac{\binom{2k}k^2}{k16^k}\equiv-\frac{21}2H_{p-1}\pmod{p^4}, $$ where $H_n$ denotes the $n$-th harmonic…

In this paper we prove the supercongruence $$\sum_{n=0}^{(p-1)/2}\frac{6n+1}{256^n}\binom{2n}n^3\equiv p(-1)^{(p-1)/2}+(-1)^{(p-1)/2}\frac{7}{24}p^4B_{p-3}\pmod{p^5}$$ for any prime $p>3$, which was conjectured by Sun in 2019.

Given an odd prime $p$, we provide formulas for the Hensel lifts of polynomial roots modulo $p$, and give an explicit factorization over the ring of formal power series with integer coefficients for certain reducible polynomials whose…

We exploit the idea that the character of an irreducible finite dimensional $\mathfrak{gl}_n$-module is the sum of certain exponents of integer points in a Gelfand-Tsetlin polytope and can thus be calculated via Brion's theorem. In order to…

We derive a closed form for the generalized Bernoulli polynomial of order $n$ in terms of Bell polynomials and Stirling numbers of the second kind using the Fa\`a di Bruno's formula.

The aim of the present paper is to give evidence, largely numerical, in support of the non-commutative main conjecture of Iwasawa theory for the motive of a primitive modular form of weight k>2 over the Galois extension of Q obtained by…

We present a formal verification of Wolstenholme's theorem -- $\binom{2p}{p} \equiv 2 \pmod{p^3}$ for prime $p \geq 5$ -- in Lean~4 with Mathlib. The proof proceeds by expanding the shifted factorial product $\prod_{k=1}^{p-1}(p+k)$ to…

The main object of this paper is to investigate a new class of the generalized Hurwitz type poly-Bernoulli numbers and polynomials from which we derive some algorithms for evaluating the Hurwitz type poly-Bernoulli numbers and polynomials.…

Sums of powers $S_p(n)=\sum_{k=1}^n k^p$ can be described by Faulhaber's formula in terms of the Bernoulli numbers. The first cases of this formula admit visual proofs of various kinds, which lead to factorized Faulhaber polynomials. In…

We use the resolution of singularities algorithm of [G4] to provide new estimates for exponential sums as well as new bounds on how often a function f(x) such as a polynomial with integer coefficients is divisible by various powers of a…

In this paper we produce infinite families of counterexamples to Jantzen's question posed in 1980 on the existence of Weyl $p$-filtrations for Weyl modules for an algebraic group and Donkin's Tilting Module Conjecture formulated in 1990.…