Let $ v_3 $ denote the usual $ 3 $-adic valuation, and let $ s(n, k) $ be the unsigned Stirling number of the first kind. In this paper, for $ a\in\{1, 2\} $, we determine the values of $ v_3(s(a3^n, k)) $ for all $ 1\le k\le a3^n $. More precisely, for each admissible pair $ (m, k) $, we obtain an explicit formula for $ v_3(s(a3^n, a3^m-k)) $. This proves the case $ p = 3 $ of a conjecture of Hong and Qiu proposed in 2020. As applications, we derive formulas near the diagonal, comparison results for adjacent orders, sharp upper bounds for the families $ v_3(s(3^n, k)) $ and $ v_3(s(2\cdot3^n, k)) $, and partial confirmations of conjectures of Lengyel and of Leonetti and Sanna.
Citation: Min Qiu, Zongbing Lin, Long Chen. The 3-adic valuations of Stirling numbers of the first kind[J]. AIMS Mathematics, 2026, 11(8): 25553-25600. doi: 10.3934/math.20261025
Let $ v_3 $ denote the usual $ 3 $-adic valuation, and let $ s(n, k) $ be the unsigned Stirling number of the first kind. In this paper, for $ a\in\{1, 2\} $, we determine the values of $ v_3(s(a3^n, k)) $ for all $ 1\le k\le a3^n $. More precisely, for each admissible pair $ (m, k) $, we obtain an explicit formula for $ v_3(s(a3^n, a3^m-k)) $. This proves the case $ p = 3 $ of a conjecture of Hong and Qiu proposed in 2020. As applications, we derive formulas near the diagonal, comparison results for adjacent orders, sharp upper bounds for the families $ v_3(s(3^n, k)) $ and $ v_3(s(2\cdot3^n, k)) $, and partial confirmations of conjectures of Lengyel and of Leonetti and Sanna.
| [1] |
F. Clarke, Hensel's lemma and the divisibility by primes of Stirling-like numbers, J. Number Theory, 52 (1995), 69–84. https://doi.org/10.1006/jnth.1995.1056 doi: 10.1006/jnth.1995.1056
|
| [2] |
D. M. Davis, Divisibility by 2 of Stirling-like numbers, Proc. Amer. Math. Soc., 110 (1990), 597–600. https://doi.org/10.1090/S0002-9939-1990-1036984-4 doi: 10.1090/S0002-9939-1990-1036984-4
|
| [3] |
A. T. Lundell, A divisibility property for Stirling numbers, J. Number Theory, 10 (1978), 35–54. https://doi.org/10.1016/0022-314X(78)90005-7 doi: 10.1016/0022-314X(78)90005-7
|
| [4] |
T. Amdeberhan, D. Manna, V. H. Moll, The 2-adic valuation of Stirling numbers, Exp. Math., 17 (2008), 69–82. https://doi.org/10.1080/10586458.2008.10129026 doi: 10.1080/10586458.2008.10129026
|
| [5] |
T. Lengyel, On the divisibility by 2 of Stirling numbers of the second kind, Fibonacci Quart., 32 (1994), 194–201. https://doi.org/10.1080/00150517.1994.12429212 doi: 10.1080/00150517.1994.12429212
|
| [6] |
S. De Wannemacker, On 2-adic orders of Stirling numbers of the second kind, Integers, 5 (2005), A21. https://doi.org/10.5281/zenodo.7673738 doi: 10.5281/zenodo.7673738
|
| [7] |
T. Lengyel, Alternative proofs on the 2-adic order of Stirling numbers of the second kind, Integers, 10 (2010), 453–463. https://doi.org/10.1515/INTEG.2010.038 doi: 10.1515/INTEG.2010.038
|
| [8] |
S. F. Hong, J. R. Zhao, W. Zhao, The 2-adic valuations of Stirling numbers of the second kind, Int. J. Number Theory, 8 (2012), 1057–1066. https://doi.org/10.1142/S1793042112500625 doi: 10.1142/S1793042112500625
|
| [9] | T. Lengyel, On the 2-adic order of Stirling numbers of the second kind and their differences, In: DMTCS Proceedings vol. AK, 21st International conference on formal power series and algebraic combinatorics (FPSAC 2009), 2009,561–572. https://doi.org/10.46298/dmtcs.2694 |
| [10] |
J. R. Zhao, S. F. Hong, W. Zhao, Divisibility by 2 of Stirling numbers of the second kind and their differences, J. Number Theory, 140 (2014), 324–348. https://doi.org/10.1016/j.jnt.2014.01.005 doi: 10.1016/j.jnt.2014.01.005
|
| [11] |
W. Zhao, J. R. Zhao, S. F. Hong, The 2-adic valuations of differences of Stirling numbers of the second kind, J. Number Theory, 153 (2015), 309–320. https://doi.org/10.1016/j.jnt.2015.01.016 doi: 10.1016/j.jnt.2015.01.016
|
| [12] |
P. Miska, On $p$-adic valuations of Stirling numbers, Acta Arith., 186 (2018), 337–348. https://doi.org/10.4064/aa170809-9-3 doi: 10.4064/aa170809-9-3
|
| [13] |
P. Leonetti, C. Sanna, On the $p$-adic valuation of Stirling numbers of the first kind, Acta Math. Hungar., 151 (2017), 217–231. https://doi.org/10.1007/s10474-016-0680-4 doi: 10.1007/s10474-016-0680-4
|
| [14] |
L. Theisinger, Bemerkung über die harmonische Reihe, Monatsh. f. Mathematik und Physik, 26 (1915), 132–134. https://doi.org/10.1007/BF01999444 doi: 10.1007/BF01999444
|
| [15] | T. Nagell, Eine Eigenschaft gewisser Summen, Skr. Norske Vid. Akad. Kristiania, 13 (1923), 10–15. |
| [16] |
P. Erdős, I. Niven, Some properties of partial sums of the harmonic series, Bull. Amer. Math. Soc., 52 (1946), 248–251. https://doi.org/10.1090/S0002-9904-1946-08550-X doi: 10.1090/S0002-9904-1946-08550-X
|
| [17] |
A. Eswarathasan, E. Levine, $p$-Integral harmonic sums, Discrete Math., 91 (1991), 249–257. https://doi.org/10.1016/0012-365X(90)90234-9 doi: 10.1016/0012-365X(90)90234-9
|
| [18] |
D. W. Boyd, A $p$-adic study of the partial sums of the harmonic series, Exp. Math., 3 (1994), 287–302. https://doi.org/10.1080/10586458.1994.10504298 doi: 10.1080/10586458.1994.10504298
|
| [19] |
Y.-G. Chen, M. Tang, On the elementary symmetric functions of $1, 1/2, \ldots, 1/n$, Amer. Math. Monthly, 119 (2012), 862–867. https://doi.org/10.4169/amer.math.monthly.119.10.862 doi: 10.4169/amer.math.monthly.119.10.862
|
| [20] |
S. F. Hong, C. L. Wang, The elementary symmetric functions of reciprocal arithmetic progressions, Acta Math. Hungar., 144 (2014), 196–211. https://doi.org/10.1007/s10474-014-0440-2 doi: 10.1007/s10474-014-0440-2
|
| [21] |
K. Kamano, On 3-adic valuations of generalized harmonic numbers, Integers, 12 (2012), 311–319. https://doi.org/10.1515/integ.2011.110 doi: 10.1515/integ.2011.110
|
| [22] |
Y. Y. Luo, S. F. Hong, G. Y. Qian, C. L. Wang, The elementary symmetric functions of a reciprocal polynomial sequence, C. R. Math., 352 (2014), 269–272. https://doi.org/10.1016/j.crma.2014.02.002 doi: 10.1016/j.crma.2014.02.002
|
| [23] |
C. Sanna, On the $p$-adic valuation of harmonic numbers, J. Number Theory, 166 (2016), 41–46. https://doi.org/10.1016/j.jnt.2016.02.020 doi: 10.1016/j.jnt.2016.02.020
|
| [24] |
C. L. Wang, S. F. Hong, On the integrality of the elementary symmetric functions of $1, 1/3, \ldots, 1/(2n-1)$, Math. Slovaca, 65 (2015), 957–962. https://doi.org/10.1515/ms-2015-0064 doi: 10.1515/ms-2015-0064
|
| [25] |
B.-L. Wu, Y.-G. Chen, On certain properties of harmonic numbers, J. Number Theory, 175 (2017), 66–86. https://doi.org/10.1016/j.jnt.2016.11.027 doi: 10.1016/j.jnt.2016.11.027
|
| [26] |
C. Altuntaş, On the $p$-adic valuation of generalized harmonic numbers, Bull. Korean Math. Soc., 60 (2023), 933–955. https://doi.org/10.4134/BKMS.b220399 doi: 10.4134/BKMS.b220399
|
| [27] |
L. Carofiglio, L. De Filpo, A. Gambini, $p$-adic valuation of harmonic sums and their connections with Wolstenholme primes, Indian J. Pure Appl. Math., 55 (2024), 555–566. https://doi.org/10.1007/s13226-023-00387-1 doi: 10.1007/s13226-023-00387-1
|
| [28] |
L. Carofiglio, G. Cherubini, A. Gambini, On Eswarathasan–Levine and Boyd's conjectures for harmonic numbers, Bull. Aust. Math. Soc., 113 (2026), 15–25. https://doi.org/10.1017/S0004972725100154 doi: 10.1017/S0004972725100154
|
| [29] |
T. Lengyel, On $p$-adic properties of the Stirling numbers of the first kind, J. Number Theory, 148 (2015), 73–94. https://doi.org/10.1016/j.jnt.2014.09.015 doi: 10.1016/j.jnt.2014.09.015
|
| [30] |
T. Komatsu, P. Young, Exact $p$-adic valuations of Stirling numbers of the first kind, J. Number Theory, 177 (2017), 20–27. https://doi.org/10.1016/j.jnt.2017.01.023 doi: 10.1016/j.jnt.2017.01.023
|
| [31] |
M. Qiu, S. F. Hong, 2-Adic valuations of Stirling numbers of the first kind, Int. J. Number Theory, 15 (2019), 1827–1855. https://doi.org/10.1142/S1793042119501021 doi: 10.1142/S1793042119501021
|
| [32] |
S. F. Hong, M. Qiu, On the $p$-adic properties of Stirling numbers of the first kind, Acta Math. Hungar., 161 (2020), 366–395. https://doi.org/10.1007/s10474-020-01037-2 doi: 10.1007/s10474-020-01037-2
|
| [33] | L. Comtet, Advanced combinatorics: the art of finite and infinite expansions, Dordrecht: Springer, 1974. https://doi.org/10.1007/978-94-010-2196-8 |
| [34] |
V. Adamchik, On Stirling numbers and Euler sums, J. Comput. Appl. Math., 79 (1997), 119–130. https://doi.org/10.1016/S0377-0427(96)00167-7 doi: 10.1016/S0377-0427(96)00167-7
|
| [35] | N. Koblitz, $p$-Adic numbers, $p$-adic analysis and zeta-functions, 2 Eds., New York: Springer, 1984. https://doi.org/10.1007/978-1-4612-1112-9 |