Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1810.09763

Linear Independence of Harmonic Numbers over the field of Algebraic Numbers

Tapas Chatterjee·Sonika Dhillon
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $H_n =\sum\limits_{k=1}^n \frac{1}{k}$ be the $n$-th harmonic number. Euler extended it to complex arguments and defined $H_r$ for any complex number $r$ except for the negative integers. In this paper, we give a new proof of the transcendental nature of $H_r$ for rational $r$. For some special values of $q>1,$ we give an upper bound for the number of linearly independent harmonic numbers $H_{a/q}$ with $ 1 \leq a \leq q$ over the field of algebraic numbers. Also, for any finite set of odd primes $J$ with $|J|=n,$ define $$W_J=\overline{\mathbb{Q}}-\text {span of } \{ H_1, \ H_{a_{j_i}/q_i} | \ 1 \leq a_{j_i} \leq q_i -1, \ 1 \leq j_i \leq q_i-1, \ \ \forall q_i \in J\}.$$ Finally, we show that $$\text{ dim }_{\overline{\mathbb{Q}}} ~W_J=\sum\limits_{\substack{i=1 \\ q_i \in J}}^n \frac{ϕ(q_i )}{2} + 2.$$

Explore related subjects

math.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tapas Chatterjee, Sonika Dhillon. 2018-10-23. Linear Independence of Harmonic Numbers over the field of Algebraic Numbers. https://arxiv.org/abs/1810.09763

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On the factorisation of the $p$-adic Rankin-Selberg $L$-function in the supersingular case

Given a cusp form $f$ which is supersingular at a fixed prime $p$ away from the level, and a Coleman family $F$ through one of its $p$-stabilisations, we construct a $2$-variable meromorphic $p$-adic $L$-function for the symmetric square of $F$. We prove that this new $p$-adic $L$-function interpolates values of complex imprimitive symmetric square $L$-functions, for the various specialisations of the family $F$. We use this $p$-adic $L$-function to prove a $p$-adic factorisation formula, expressing the geometric $p$-adic $L$-function attached to the Rankin--Selberg convolution of $f$ with itself as a the product of the $p$-adic symmetric square $L$-function of $f$ and a Kubota-Leopoldt $L$-function. This extends a result of Dasgupta in the ordinary case.

math.NT↗
arXiv2026

Exceptional poles of archimedean Rankin-Selberg L-functions for irreducible generic representations of GL(n,R)

For irreducible generic representations $π_1$ and $π_2$ of $\operatorname{GL}_n(\mathbb R)$, we prove that the notions of exceptional pole of type $1$ and type $2$ coincide at every level. When both representations are in general position, we use this identification to express the Rankin--Selberg $L$-function $L(s,π_1\timesπ_2)$ in terms of the exceptional $L$-factors attached to the irreducible constituents of their derivatives.

math.NT↗