Pith. sign in

REVIEW 2 major objections 3 minor 19 references

Several expressions for degenerate harmonic numbers and some related numbers

T0 review · 2 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Degenerate harmonic numbers admit several explicit finite sums, and the order-k family collapses to one alternating sum.

desk verdict Mostly routine identities for degenerate harmonic numbers, with a genuinely useful iterated inversion lemma and one false headline formula (Theorem 2.10) that needs an erratum. read the letter →

arxiv 2508.01189 v1 pith:HNMHLDOW submitted 2025-08-02 math.NT

Taekyun Kim , Dae san Kim , Kyo-Shin Hwang This is my paper · ORCID
classification math.NT MSC 11B7311B83
keywords degenerateharmonicnumberspolylogarithmbinomialinversionStirlingderangementLahmultiplesumsexplicitidentities
topics The Collatz Conjecture
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper's goal is to write the degenerate harmonic numbers H_{n,λ}, a λ-parameter deformation of the classical harmonic numbers, in several explicit finite-sum forms, and to do the same for their order-m analogues. The main results include a binomial expansion for H_{n,λ}, a compact alternating-sum formula for the order-k degenerate harmonic numbers, and three equivalent formulas for a newly introduced companion sequence $K^{{(m)}}$_{n,λ}. A sympathetic reader would care because these identities make the internal structure of the degenerate numbers visible: they are built from binomial coefficients, falling factorials, Lah numbers, and degenerate Stirling numbers, and they reduce to classical harmonic-number identities in the limit λ→0.

What carries the argument

The workhorse is the degenerate exponential e_λ(t)=(1+λ t)^{1/λ} and its compositional inverse, the degenerate logarithm log_λ(1+t)=Σ_{n=1}^∞ binom(λ-1,n-1)t^n/n, together with the degenerate polylogarithm Li_{k,λ}(t)=Σ_{n=1}^∞ (-1)^{n-1} $n^{{-k}}$ binom(λ-1,n-1)t^n. These objects supply the generating functions (6) and (14), and the paper's key combinatorial tool is an iterated binomial-inversion lemma (Theorem 2.5): whenever a_n=Σ_k binom(n,k)(-1)^{k-1} b_k, then Σ_k binom(n,k)(-1)^{k-1} a_k/k^m equals Σ_{1≤k_1≤...≤k_m≤n} b_{k_1}/(k_1...k_m). Applying this lemma to the degenerate harmonic and $K^{{(m)}}$ sequences converts alternating binomial sums into nested chain sums, which is the mechanism behind Theorems 2.6-2.9.

What would settle it

Evaluate Theorem 2.9 at λ=1, k=1, n=4: the right side is 1 - 1/2 + 1/3 - 1/4 = 7/12, which must match the definition (5) of H_{4,1}; any mismatch would disprove the identity. For Theorem 2.10, take λ=1 and n=2: if (35) is read literally as giving coefficients of t^n, the displayed formula returns 0 instead of H_{2,1}=1, so the normalization assumption is exposed as indispensable.

Watch

Extended reading notes

Core claim

The central claim is that the generating-function identities for degenerate exponentials, degenerate logarithms, and degenerate polylogarithms can be combined with binomial inversion to produce explicit closed-form evaluations. Specifically, Theorem 2.1 gives H_{n,λ}=Σ_{k=1}^n binom(n,k)(-1)^{k-1} $k^{{-1}}$ binom(λ+k-1,k-1), and Theorem 2.9 gives $H^{{(k)}}$_{n,λ}=Σ_{m=1}^n (-1)^{m-1} $m^{{-k}}$ binom(λ-1,m-1). The paper also introduces $K^{{(m)}}$_{n,λ} by the generating function -(1-t)^{-1} Li_{m,-λ}(-t/(1-t)) and proves that it equals a nested chain sum over ordered indices, an alternating binomial sum, and a Lah-number expansion; for m=1 it reduces to H_{n,λ}. Taken together, these identities assert that the degenerate harmonic family is transparently expressible through elementary finite sums for all positive integers and all real parameters λ for which the degenerate functions are defined.

Load-bearing premise

The load-bearing assumption is that the generating functions for the degenerate exponential, degenerate logarithm, and degenerate polylogarithm, in particular (6) and (14), are valid formal power series in t; the printed proof of Theorem 2.10 additionally depends on reading (35) as an exponential generating function, meaning the coefficient of t^n/n! is extracted rather than the coefficient of t^n.

Editorial extensions

If this is right

  • The identity H^{(k)}_{n,λ}=Σ_{m=1}^n (-1)^{m-1}m^{-k}binom(λ-1,m-1) gives an O(n) formula for every order-k degenerate harmonic number.
  • Taking λ→0 in Theorem 2.9 recovers the classical harmonic numbers of order k, so the new formulas are genuine deformations of standard identities.
  • Because K^{(1)}_{n,λ}=H_{n,λ}, the three formulas for K^{(m)}_{n,λ} specialize to new expressions for the degenerate harmonic numbers themselves.
  • Theorem 2.12 ties the degenerate harmonic numbers to the degenerate derangement numbers d_{n,λ}, connecting two previously separate families.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial inference: the nested sums over k_1≤...≤k_m in Theorems 2.6 and 2.7 are degenerate analogues of multiple harmonic sums and could be interpreted combinatorially as chains in a poset of indices, a reading the paper does not develop.
  • Editorial inference: the iterated inversion lemma (24)-(25) appears to be sequence-agnostic, so it could be applied to other pairs of sequences satisfying the same binomial inversion, such as degenerate Stirling numbers or Bell-type numbers.
  • Editorial inference: the same coefficient-extraction technique for the degenerate polylogarithm with argument -t/(1-t) could be adapted to other rational arguments to produce further identities for K^{(m)}_{n,λ}, though the paper confines itself to the one argument.
  • Editorial inference: the printed Theorem 2.10 requires the exponential-generating-function normalization; with that normalization supplied, the formula H_{n,λ}=Σ k(1)_{k,-λ} [n k]_λ provides a Stirling-based evaluation complementary to the binomial sums, but the paper's text does not flag the normalization dependence.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper derives several explicit formulas for the degenerate harmonic numbers H_{n,λ}, for their order-m analogues H^{(m)}_{n,λ}, and for a newly introduced sequence K^{(m)}_{n,λ}. The main results are Theorems 2.1, 2.6, 2.7, 2.8, 2.9, 2.10, and 2.12, obtained by formal manipulations of the generating functions (6), (27), and (28). The derivations are mostly elementary series manipulations using the degenerate logarithm, degenerate polylogarithm, degenerate Stirling numbers, and related objects.

Significance. If the identities are correct, the paper gives a useful collection of explicit forms for degenerate harmonic numbers and related sequences, in an active subfield of degenerate special functions. The introduction of K^{(m)}_{n,λ} is a natural companion to H^{(m)}_{n,λ}, and most of the displayed identities are checkable by hand from the stated generating functions. The paper does not rely on numerical fitting or empirical input. However, one headline formula, Theorem 2.10, is false as printed, and Theorem 2.12 is self-referential rather than an explicit closed form; these issues affect two of the contributions advertised in the Introduction.

major comments (2)
  1. [Section 2, Theorem 2.10 and Conclusion] Theorem 2.10 is false as stated. The derivation (35) expands the left side of (6) as an exponential generating function: it gives Σ_{n≥1} [Σ_{k=1}^n k (1)_{k-1,-λ} {n \brack k}_λ] t^n/n!, while (6) is an ordinary generating function Σ H_{n,λ} t^n. Equating coefficients therefore yields H_{n,λ} = (1/n!) Σ_{k=1}^n k (1)_{k-1,-λ} {n \brack k}_λ. The printed theorem drops the 1/n! and shifts the index in the degenerate falling factorial from k-1 to k. This is not cosmetic: for λ=1 and n=2, (5) gives H_{2,1}=1, whereas the printed formula evaluates to 4. The same incorrect formula is repeated in the Conclusion, so the error is not an isolated typo in a single display. The corrected identity is immediate from (35) and should replace the current statement.
  2. [Section 2, Theorem 2.12] Theorem 2.12 is not an explicit expression for H_{n,λ} in the sense advertised in the Introduction. In the right-hand side, the term with j=n and k=n equals H_{n,λ} - H_{n-1,λ}, so H_{n,λ} appears on both sides of the equality. For n=2 the right-hand side reduces to exactly H_{2,λ}, illustrating that the statement is tautological rather than a closed form. The derivation (37) is algebraically valid, but the theorem should be reformulated as a recurrence or convolution identity, and the claim that it is a new explicit expression should be moderated.
minor comments (3)
  1. [Title and Section 1] The title has spacing errors in 'DEGENERA TE' and 'RELA TED'; these should be corrected.
  2. [Section 1, derangement discussion] The sentence 'the hat are returned randomly' contains a grammatical error and should be rewritten.
  3. [General] The paper cites numerous earlier works by the same authors, especially [9-16]; the authors should ensure that the new contribution is clearly distinguished from these prior results.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; main identities are direct generating-function coefficient extractions.

full rationale

I find no circularity in the claimed derivation chain. The paper's main theorems are obtained by explicit coefficient extraction from generating functions that are either stated in the paper or follow immediately from the quoted definitions: Theorem 2.1 comes from expanding log_{-λ}(1/(1-t)) and collecting the coefficient of t^n in (18); Theorem 2.9 is exactly the coefficient comparison in (34) using the degenerate polylogarithm expansion (27); and Theorems 2.6-2.8 are consequences of the general inversion lemma 2.5 and the definitions of K^{(m)}_{n,λ}. The cited results from the authors' earlier papers are definitions and elementary identities, not unverified uniqueness claims, and the key derivations are reproduced in the text. Theorem 2.12 is self-referential in the sense that H_{n,λ} appears on both sides of the final identity, but it is a derived convolution identity, not an input to the main results; it is not used to define H_{n,λ} nor to prove the other theorems. The apparent missing 1/n! factor and index shift in Theorem 2.10 are local algebraic/correctness issues, not circular reasoning. Overall, the central claims reduce only to the explicitly stated generating functions and binomial inversions, so the derivation chain is self-contained and non-circular.

Assumptions & free parameters 0 free parameters · 5 assumptions · 1 invented entities

No free parameters are fitted to data. The paper's identities rest on the cited generating functions and definitions from the same authors' earlier work, plus standard binomial and beta-function facts. The new sequence K^{(m)} is defined formally; it has no independent empirical handle. One theorem (2.10) contains a normalization/index error, but the axioms themselves are not circular.

assumptions (5)
  • domain assumption Generating function (6): 1/(1-t) log_{-λ}(1/(1-t)) = Σ_{n≥1} H_{n,λ} t^n, taken from refs [11,14].
    All H_{n,λ} formulas start from this cited identity, which the paper does not rederive.
  • domain assumption Compositional inverse property e_λ(log_λ(1+t)) = 1+t, equation (4).
    Used in (35) to replace 1/(1-t) by e_{-λ}(log_{-λ}(1/(1-t))).
  • domain assumption Stirling expansion (14): (1/k!) log^k_{-λ}(1/(1-t)) = Σ_{n≥k} [n;k]_λ t^n/n!.
    Connects powers of degenerate logarithms to degenerate Stirling numbers; cited from prior work.
  • standard math Binomial inversion theorem and beta function identity (17).
    Underpin Lemma 2.4 and Theorem 2.5.
  • standard math Formal power series manipulations for |t|<1 or in the ring of formal series.
    The paper does not discuss convergence or domains; this is standard for this literature.
invented entities (1)
  • K^{(m)}_{n,λ}
    purpose: New sequence defined by the generating function (28); Theorems 2.7 and 2.8 give explicit formulas for it.
    It is a formal mathematical object with no external testable predictions; its value is algebraic and confined to the paper's own framework.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Several expressions for degenerate harmonic numbers and some related numbers." pith.science (2026). https://pith.science/paper/HNMHLDOW

@misc{pith2026250801189,
  author       = {Pith},
  title        = {Pith review of: Several expressions for degenerate harmonic numbers and some related numbers},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HNMHLDOW}},
  note         = {Machine review of arXiv:2508.01189}
}
read the original abstract

Many authors have recently studied the degenerate harmonic numbers. This paper makes two main contributions. First, we derive several explicit expressions for these numbers, which are a degenerate version of the ordinary harmonic numbers. We also examine the degenerate harmonic numbers of order m and find an expression for them. Second, we investigate some related numbers that are closely connected to the degenerate harmonic numbers of order m, which reduce to the degenerate harmonic numbers when m=1

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 15 canonical work pages

  1. [1]

    Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, National Bureau of Standards Applied Mathematics Series, vol

    Abramowitz, M.; Stegun, I.A. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, National Bureau of Standards Applied Mathematics Series, vol. 55, U. S. Government Printing Office, Washington, D.C., 1964

    work page 1964

  2. [2]

    Adell, J. A. Explicit upper bounds for the Stirling numbers of the first kind, J. Combin. Theory Ser. A 192 (2022), Paper No. 105669, 17 pp

    work page 2022

  3. [3]

    S.; Acikgoz, M.; Araci, S.A new construction on the degenerate Hurwitz-zeta function associated with certain applications, Proc

    Aydin, M. S.; Acikgoz, M.; Araci, S.A new construction on the degenerate Hurwitz-zeta function associated with certain applications, Proc. Jangjeon Math. Soc. 25 (2022), no. 2, 195-203

    2022

  4. [4]

    Boyadzhiev, K. N. Harmonic number identities via Euler’s transform, J. Integer Seq. 2 (2009), no. 6, Article 09.6.1, 8 pp

    work page 2009

  5. [5]

    Degenerate Stirling, Bernoulli and Eulerian numbers,Utilitas Math

    Carlitz, L. Degenerate Stirling, Bernoulli and Eulerian numbers,Utilitas Math. 15 (1979), 51-88

    work page 1979

  6. [6]

    Advanced combinatorics

    Comtet, L. Advanced combinatorics. The art of finite and infinite expansions, Revised and en- larged edition, D. Reidel Publishing Co., Dordrecht, 1974

    1974

  7. [7]

    H.; Guy, R

    Conway, J. H.; Guy, R. K. The book of numbers, Copernicus, New York, 1996

    work page 1996

  8. [8]

    L.; Knuth, D

    Graham, R. L.; Knuth, D. E.; Patashnik, O. Concrete mathematics. A foundation for computer science, Second edition, Addison-Wesley Publishing Company, Reading, MA, 1994

    work page 1994

Show all 19 references
  1. [9]

    S.; Kim, T

    Kim, D. S.; Kim, T. Moment representations of fully degenerate Bernoulli and degenerate Euler polynomials, Russ. J. Math. Phys. 31 (2024), no. 4, 682-690

    2024

  2. [10]

    S.; Kim, T

    Kim, D. S.; Kim, T. A note on a new type of degenerate Bernoulli numbers,Russ. J. Math. Phys. 27 (2020), no. 2, 227-235

    2020

  3. [11]

    Kim, T.; Kim, D. S. On some degenerate differential and degenerate difference operators,Russ. J. Math. Phys. 29 (2022), no. 1, 37-46

    2022

  4. [12]

    Kim, T.; Kim, D. S. Some identities on degenerate harmonic and degenerate higher-order harmonic numbers, Appl. Math. Comput. 486 (2025), Paper No. 129045, 10 pp

    2025

  5. [13]

    Kim, T. Kim, D. S. Combinatorial identities involving degenerate harmonic and hyperharmonic numbers, Adv. in Appl. Math. 148 (2023), Paper No. 102535, 15 pp

    2023

  6. [14]

    Kim, T.; Kim, D. S. Some identities on degenerate hyperharmonic numbers, Georgian Math. J. 30 (2023), no.2, 255-262

    2023

  7. [15]

    S.; Dolgy, D

    Kim, T.; Kim, D. S.; Dolgy, D. V . Probabilistic degenerate derangement polynomials, Math. Comput. Model. Dyn. Syst. 31 (2025), no. 1, 2529188

    2025

  8. [16]

    S.; Kim, H

    Kim, T.; Kim, D. S.; Kim, H. K. Some identities of degenerate harmonic and degenerate hy- perharmonic numbers arising from umbral calculus, Open Math. 21 (2023), no. 1, 20230124

    2023

  9. [17]

    Quaintance, J.; Gould, H. W. Combinatorial identities for Stirling numbers, World Scientific Publishing Co. Pte. Ltd., Singapore, 2016

    2016

  10. [18]

    The umbral calculus

    Roman, S. The umbral calculus. Pure and Applied Mathematics, 111, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York, 1984

    1984

  11. [19]

    Identities and relations related to combinatorial numbers and polynomials, Proc

    Simsek, Y . Identities and relations related to combinatorial numbers and polynomials, Proc. Jangjeon Math. Soc. 20 (2017), no. 1, 127-135. DEPARTMENT OF MATHEMATICS , K WANGWOON UNIVERSITY , S EOUL 139-701, R EPUBLIC OF KOREA Email address: tkkim@kw.ac.kr DEPARTMENT OF MATHEM...

    2017

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.