Conjectural Bernoulli recursion for coefficients of the Artin–Hasse exponential

About 3 years old · traced to

Let pp be an odd prime and let

E⁡p(X)=∑i=0∞aiXi\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(k−r)p=Bp−kk.\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.

References

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.