Conjectural Bernoulli recursion for coefficients of the Artin–Hasse exponential

Let pp be an odd prime and let

Ep(X)=i=0aiXi\operatorname{E}_{p}(X)=\sum_{i=0}^{\infty}a_iX^i

be the Artin–Hasse exponential series in Fp[[X]]\mathbb F_p[[X]]. For an integer nn, let BnB_n denote the nn-th Bernoulli number. The conjectural recursion. For every integer kk with 1<k<p1<k<p, one has

r=0k(1)rrarpa(kr)p=Bpkk.\sum_{r=0}^{k}(-1)^r r a_{rp}a_{(k-r)p}=\frac{B_{p-k}}{k}.

The formula would provide a replacement for the preceding recursion, whose useful conclusion is restricted to even indices, and would allow the coefficients akpa_{kp} with odd kk to be obtained recursively. The required higher supercongruences for direct calculations are currently unavailable, so the assertion is presented as conjectural.

Sources & referencesView supporting material

Primary source

Marina Avitabile and Sandro Mattarei, “On some coefficients of the Artin-Hasse series modulo a prime”, arXiv:2308.16034 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.