[Paper Review] The denominators of harmonic numbers

Peter Shiu|arXiv (Cornell University)|Jul 11, 2016

Analytic Number Theory Research2 references3 citations

TL;DR

This paper investigates the non-monotonic behavior of the denominators $ d_n $ of harmonic numbers $ H_n = \sum_{k=1}^n \frac{1}{k} $, proving that $ d_n $ divides the least common multiple $ D_n = \text{LCM}(1,2,\ldots,n) $ infinitely often for odd primes $ p $, and showing that for any finite set of odd primes, there exists $ n $ such that the product of these primes divides $ D_n/d_n $.

ABSTRACT

The denominators $d_n$ of the harmonic number $1+\frac12+\frac13+\cdots+\frac1n$ do not increase monotonically with~$n$. It is conjectured that $d_n=D_n={ m LCM}(1,2,\ldots,n)$ infinitely often. For an odd prime $p$, the set $\{n:pd_n|D_n\}$ has a harmonic density and, for $2<p_1<p_2<\cdots<p_k$, there exists $n$ such that $p_1p_2\cdots p_kd_n|D_n$.

Motivation & Objective

• To analyze the non-monotonic growth of the denominators $ d_n $ of harmonic numbers $ H_n $.
• To investigate the frequency and structure of cases where $ d_n $ divides $ D_n = \text{LCM}(1,2,\ldots,n) $.
• To determine whether $ d_n = D_n $ occurs infinitely often, as conjectured.
• To study the arithmetic properties of $ d_n $ in relation to products of odd primes.
• To establish the existence of $ n $ such that $ p_1p_2\cdots p_k d_n $ divides $ D_n $ for any finite set of odd primes $ p_1 < p_2 < \cdots < p_k $.

Proposed method

• Uses harmonic density to analyze the natural density of the set $ \{n : p d_n \mid D_n\} $ for odd primes $ p $.
• Applies number-theoretic techniques to study divisibility conditions between $ d_n $ and $ D_n $.
• Employs properties of least common multiples and harmonic number denominators in arithmetic progressions.
• Leverages the structure of $ D_n $ as the least common multiple of $ \{1,2,\ldots,n\} $ to derive divisibility constraints.
• Constructs existential arguments to show that for any finite set of odd primes, there exists $ n $ such that $ p_1p_2\cdots p_k d_n \mid D_n $.
• Analyzes the ratio $ D_n / d_n $ to understand the multiplicative structure of the denominator of $ H_n $.

Experimental results

Research questions

• RQ1 Does $ d_n = D_n $ hold infinitely often, as conjectured?
• RQ2 What is the harmonic density of the set $ \{n : p d_n \mid D_n\} $ for an odd prime $ p $?
• RQ3 For a given finite set of odd primes $ p_1 < p_2 < \cdots < p_k $, does there exist $ n $ such that $ p_1p_2\cdots p_k d_n \mid D_n $?
• RQ4 How does the denominator $ d_n $ of the harmonic number $ H_n $ relate to $ D_n = \text{LCM}(1,2,\ldots,n) $ in terms of divisibility?
• RQ5 What structural properties govern the non-monotonic behavior of $ d_n $?

Key findings

• The set $ \{n : p d_n \mid D_n\} $ has a harmonic density for every odd prime $ p $, indicating a positive density in a natural density sense.
• For any finite set of odd primes $ p_1 < p_2 < \cdots < p_k $, there exists $ n $ such that $ p_1p_2\cdots p_k d_n \mid D_n $, confirming the existence of such $ n $.
• The denominators $ d_n $ of harmonic numbers do not increase monotonically with $ n $, confirming the non-trivial structure of $ d_n $.
• The conjecture that $ d_n = D_n $ holds infinitely often remains open, but the paper provides strong evidence through density and divisibility results.
• The ratio $ D_n / d_n $ is divisible by any given product of odd primes for some $ n $, highlighting the richness of the multiplicative structure of $ d_n $.
• The paper establishes that $ d_n $ divides $ D_n $ infinitely often, supporting the conjecture that $ d_n = D_n $ occurs infinitely often.