We generalize the congruences of Friedmann-Tamarkine (1909), Lehmer (1938), and Ernvall-Metsänkyla (1991) on the sums of powers of integers weighted by powers of the Fermat quotients to the next Fermat quotient power, namely to the third power of the Fermat quotient. Using this result and the Gessel identity (2005) combined with our past work (2021), we are able to relate residues of some truncated convolutions of Bernoulli numbers with some Ernvall-Metsänkyla residues to residues of some full convolutions of the same kind. We also establish some congruences concerning other related weighted sums of powers of integers when these sums are weighted by some analogs of the Teichmüller characters.
KeywordsConvolutions Involving Bernoulli NumbersTruncated Convolutions Involving Bernoulli NumbersCongruencesBinomial and Multinomial Convolutions of Divided Bernoulli NumbersMultiple Harmonic SumsGeneralized Harmonic NumbersMiki IdentityGessel IdentitySums of Powers of Integers Weighted by Powers of the Fermat QuotientsGeneralization of Kummer’s CongruencesGeneralizations of Friedmann-TamarkineLehmerErnvall-Mets&#228
Dunne, G.V. and Schubert, C. (2004) Bernoulli Number Identities from Quantum Field Theory. IHES Preprint P/04/31.
Glaisher, J.W.L. (1900) On the Residues of the Sums of Products of the First p-1 Numbers and Their Powers, to Modulus p 2 or p 3 . The Quarterly Journal of Mathematics, 31, 321-353.
Levaillant, C. (2020) Congruences Related to Miki’s Identity.
Levaillant, C. (2022) Multiple Harmonic Sums Modulo p 4 and Applications. Journal of Combinatorics and Number Theory, 12, 79-114.
Miki, H. (1978) A Relation between Bernoulli Numbers. Journal of Number Theory, 10, 297-302. https://doi.org/10.1016/0022-314X(78)90026-4
Ernvall, R. and Metsänkylä, T. (1991) Cyclotomic Invariants for Primes between 125000 and 150000. Mathematics of Computation, 56, 851-858. https://doi.org/10.2307/2008413
Friedmann, A. and Tamarkine, J. (1909) Quelques formules concernant la théorie de la fonction [x] et des nombres de Bernoulli. Journal für die reine und angewandte Mathematik, 135, 146-156. https://doi.org/10.1515/crll.1909.135.146
Lehmer, E. (1938) On Congruences Involving Bernoulli Numbers and the Quotients of Fermat and Wilson. Annals of Mathematics, 39, 350-360. https://doi.org/10.2307/1968791
Faulhaber, J. (1631) Academia algebrae, darinnen die miraculosische Inventiones zu den höchsten Cossen weiters continuirt und prolifiert warden.
Jacobi, C.G.J. (1834) De usu legitimo formulae summatoriae Maclaurinianae. Journal für die reine und angewandte Mathematik, 12, 263-272. https://doi.org/10.1515/crll.1834.12.263
Knuth, D.E. (1993) Johann Faulhaber and Sums of Powers. Mathematics of Computation, 61, 277-294. https://doi.org/10.1090/S0025-5718-1993-1197512-7
Voronoi, G.F. (1890) On Bernoulli Numbers. Communications of the Kharkiv Mathematical Society, 2, 129-148. (In Russian)
Kummer, E.E. (1850) Allgemeiner Beweis des Fermatschen Satzes, daß die Gleichung X λ + Y λ = Z λ durch ganze Zahlen unlösbar ist, für alle diejenigen Potenz-Exponenten λ, welche ungerade Primzahlen sind und in den Zählern der ersten (λ-3)/2 Bernoullischen Zahlen als Faktoren nicht vorkommen. Journal für die reine und angewandte Mathematik, 40, 131-138. https://doi.org/10.1515/crll.1850.40.130
nkyla’s Congruences
p-Adic Numbers
Weighted Sums of Powers of Integers
Levaillant, C. (2019) Wilson’s Theorem Modulo p 2 Derived from Faulhaber Polynomials.
Gouvea, F. (1993) p-Adic Numbers, an Introduction. 2nd Edition, Springer, Berlin. https://doi.org/10.1007/978-3-662-22278-2_1
Levaillant, C. (2020) Powers of Two Weighted Sum of the First p Divided Bernoulli Numbers Modulo p.
Gessel, I.M. (2005) On Miki’s Identity for Bernoulli Numbers. Journal of Number Theory, 110, 75-82. https://doi.org/10.1016/j.jnt.2003.08.010
Johnson, W. (1975) p-Adic Proofs of Congruences for the Bernoulli Numbers. Journal of Number Theory, 7, 251-265. https://doi.org/10.1016/0022-314X(75)90020-7
Clausen, T. (1840) Theorem. Astronomische Nachrichten, 17, 351-352. https://doi.org/10.1002/asna.18400172204
Von Staudt, C. (1840) Beweis eines Lehrsatzes, die Bernoullischen Zahlen betreffend. Journal für die reine und angewandte Mathematik, 21, 372-374. https://doi.org/10.1515/crll.1840.21.372
Agoh, T. (1995) On Giuga’s Conjecture. Manuscripta Mathematica, 87, 501-510. https://doi.org/10.1007/BF02570490
Giuga, G. (1950) Su una presumibile proprieta caratterista dei numeri primi. Istituto Lombardo Accademia di Scienze e Lettere. Rendiconti. Classe di Scienze Matematiche e Naturali. Serie A, 83, 511-528.
Wolstenholme, J. (1862) On Certain Properties of Prime Numbers. The Quarterly Journal of Pure and Applied Mathematics, 5, 35-39.
Buhler, J., Crandall, R., Ernvall, R. and Metsänkyla, T. (1993) Irregular Primes and Cyclotomic Invariants to Four Million. Mathematics of Computation, 61, 151-153. https://doi.org/10.1090/S0025-5718-1993-1197511-5
Selfridge, J.L. and Pollack, B.W. (1964) Fermat’s Last Theorem Is True for Any Exponent up to 25,000. Notices of the AMS, 11, 97.
Wagstaff, S.S. (1978) The Irregular Primes to 125000. Mathematics of Computation, 32, 583-591. https://doi.org/10.1090/S0025-5718-1978-0491465-4
Johnson, W. (1974) Irregular Prime Divisors of the Bernoulli Numbers. Mathematics of Computation, 28, 653-657. https://doi.org/10.1090/S0025-5718-1974-0347727-0
Ireland, K. and Rosen, M. (1982) A Classical Introduction to Modern Number Theory. Springer, New York, 239-248. https://doi.org/10.1007/978-1-4757-1779-2
Shiratani, K. and Yokoyama, S. (1982) An Application of p-Adic Convolutions. Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics, 36, 73-83. https://doi.org/10.2206/kyushumfs.36.73
Faber, C. and Pandharipande, R. (2000) Hodge Integrals and Gromov-Witten Theory. Inventiones Mathematicae, 139, 137-199. https://doi.org/10.1007/s002229900028
Artamkin, I.V. (2007) An Elementary Proof of the Miki-Zagier-Gessel Identity. Russian Mathematical Surveys, 62, 1194-1196. https://doi.org/10.1070/RM2007v062n06ABEH004482
Crabb, M.C. (2005) The Miki-Gessel Bernoulli Number Identity. Glasgow Mathematical Journal, 47, 327-328. https://doi.org/10.1017/S0017089505002545
Sitaramachandrarao, R. and Davis, B. (1986) Some Identities Involving the Riemann Zeta Function II. Indian Journal of Pure and Applied Mathematics, 17, 1175-1186.
Sankaranaryanan, A. (1987) An Identity Involving Riemann Zeta Function. Indian Journal of Pure and Applied Mathematics, 18, 794-800.
Zhang, W.P. (1991) On the Several Identities of Riemann Zeta Function. Chinese Science Bulletin, 22, 1852-1856.
Petojević, A. and Srivastava, H.M. (2009) Computation of Euler’s Type Sums of the Products of Bernoulli Numbers. Applied Mathematics Letters, 22, 796-801. https://doi.org/10.1016/j.aml.2008.06.040
Dilcher, K. (1996) Sums of Products of Bernoulli Numbers. Journal of Number Theory, 60, 23-41. https://doi.org/10.1006/jnth.1996.0110
Gorsky, A. and Zhiboedov, A. (20106) Aspects of the N = 4 SYM Amplitude—Wilson Polygon Duality. Nuclear Physics B, 835, 343-363. https://doi.org/10.1016/j.nuclphysb.2010.04.003
Agoh, T. (2016) On Miki’s Identity for Bernoulli Numbers. Integers, 16, 1-12.
Zhao, J. (2007) Bernoulli Numbers, Wolstenholme’s Theorem and p 5 Variations of Luca’s Theorem. Journal of Number Theory, 123, 18-26. https://doi.org/10.1016/j.jnt.2006.05.005
Sun, Z.-H. A Note on Wilson’s Theorem and Wolstenholme’s Theorem.
Sun, Z.-H. (1997) Congruences for Bernoulli Numbers and Bernoulli Polynomials. Discrete Mathematics, 163, 153-163. https://doi.org/10.1016/S0012-365X(97)81050-3