Congruence properties of Lehmer-Euler numbers

Basic Information

• Paper ID: 2501.01178
• Title: Congruence properties of Lehmer-Euler numbers
• Authors: Takao Komatsu (Nagasaki University), Guo-Dong Liu (Huizhou University)
• Classification: math.NT (Number Theory), math.CO (Combinatorics)
• Publication Date: January 2, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2501.01178

Abstract

This paper investigates the congruence properties of generalized Euler numbers defined by Lehmer in 1935. Lehmer introduced these numbers using cubic roots of unity as a natural generalization of Bernoulli and Euler numbers. The paper presents congruence properties, recurrence relations, and explicit formulas for these numbers, introduces a new polynomial sequence and its properties, and establishes identities involving Euler numbers and central factorial numbers.

Research Background and Motivation

Problem Background

1. Historical Context: In 1935, D.H. Lehmer introduced generalized Euler numbers $W_n$, defined as: $\sum_{n=0}^{\infty} \frac{W_n t^n}{n!} = \frac{3}{e^t + e^{\omega t} + e^{\omega^2 t}} = \left(\sum_{l=0}^{\infty} \frac{t^{3l}}{(3l)!}\right)^{-1}$ where $\omega = \frac{-1+\sqrt{-3}}{2}$ and $\omega^2 = \frac{-1-\sqrt{-3}}{2}$ are primitive cubic roots of unity.
2. Relationship to Classical Euler Numbers: These numbers can be viewed as analogues of classical Euler numbers, defined as: $\sum_{n=0}^{\infty} \frac{E_n t^n}{n!} = \frac{2}{e^t + e^{-t}} = \frac{1}{\cosh t}$
3. Research Value: Lehmer-Euler numbers possess important combinatorial and number-theoretic properties; specifically, $W_n = 0$ if and only if $3 \nmid n$, and $(-1)^n W_{3n} > 0$.

Research Motivation

1. Importance of Congruence Properties: Analogous to Stern's classical results on Euler numbers modulo powers of 2, investigating congruence properties of Lehmer-Euler numbers has significant number-theoretic significance
2. Theoretical Completeness: Although some research on Lehmer-Euler numbers exists, their congruence properties have not been systematically studied
3. Method Generalization: By studying properties of these generalized sequences, one can provide research methodologies for other similar sequences

Core Contributions

1. Established fundamental congruence properties of Lehmer-Euler numbers: Proved that $W_{3n} \equiv (-1)^n \pmod{9}$
2. Provided precise congruence relations modulo powers of 3: Established periodic congruence properties modulo $3^k$
3. Introduced incomplete Lehmer-Euler numbers: Defined and studied two incomplete forms of Lehmer-Euler numbers
4. Extended to higher-order cases: Defined generalized Lehmer-Euler numbers of order $\alpha$
5. Established new polynomial sequences: Defined polynomial sequence $\Delta(x,k)$ and established identities with central factorial numbers
6. Obtained multiple new combinatorial identities: Involving Euler numbers and central factorial numbers

Methodology Details

Basic Properties and Recurrence Relations

Theorem 1 provides three fundamental representations of Lehmer-Euler numbers:

1. Recurrence Formula: $W_0 = 1$ and for $n \geq 1$: $W_{3n} = -\sum_{k=0}^{n-1} \binom{3n}{3k} W_{3k}$
2. Explicit Formula: For $n \geq 1$: $W_{3n} = (3n)! \sum_{k=1}^{n} (-1)^k \sum_{\substack{i_1+\cdots+i_k=n \\ i_1,\ldots,i_k \geq 1}} \frac{1}{(3i_1)! \cdots (3i_k)!}$
3. Determinant Representation: Expression of $W_{3n}$ via an $n \times n$ determinant

Proof Methods for Congruence Properties

Core Technique: Employing Lucas' theorem and properties of cubic roots of unity

Theorem 3: For any non-negative integer $n$: $W_{3n} \in \mathbb{Z} \text{ and } W_{3n} \equiv (-1)^n \pmod{9}$

Proof Strategy:

1. Use recurrence relations to prove $W_{3n}$ is an integer
2. Apply the identity: $\sum_{k=0}^n \binom{3n}{3k} x^{3k} = \frac{1}{3} \sum_{j=0}^2 (1+\omega^j x)^{3n}$
3. Establish congruence relations via mathematical induction

Application of Lucas' Theorem

Theorem 4 employs Lucas' theorem to establish congruence properties modulo $3^3 = 27$:

For $n \geq 0$:

• $W_{9n} \equiv (-1)^n \pmod{27}$
• $W_{9n+3} \equiv (-1)^{n-1} \pmod{27}$
• $W_{9n+6} \equiv (-1)^{n-1} \cdot 8 \pmod{27}$

Incomplete Lehmer-Euler Numbers

Definition

For $m \geq 1$, define two types of incomplete Lehmer-Euler numbers:

1. Truncated Type $W_{n,\leq m}$: $\sum_{n=0}^{\infty} \frac{W_{n,\leq m} t^n}{n!} = \frac{1}{1 + \sum_{l=1}^m \frac{t^{3l}}{(3l)!}}$
2. Tail Type $W_{n,\geq m}$: $\sum_{n=0}^{\infty} \frac{W_{n,\geq m} t^n}{n!} = \frac{1}{1 + \sum_{l=m}^{\infty} \frac{t^{3l}}{(3l)!}}$

Properties

Proposition 3 provides recurrence formulas, explicit formulas, and determinant representations for incomplete Lehmer-Euler numbers, which are natural generalizations of the original case.

Higher-Order Lehmer-Euler Numbers

Definition

For positive integers $r$ and $\alpha$, define the $\alpha$-th order generalized Lehmer-Euler numbers $W_{r,n}^{(\alpha)}$:

$\sum_{n=0}^{\infty} \frac{W_{r,n}^{(\alpha)} t^n}{n!} = \left(\frac{r}{\sum_{j=0}^{r-1} e^{\zeta^j t}}\right)^\alpha = \left(\sum_{l=0}^{\infty} \frac{t^{rl}}{(rl)!}\right)^{-\alpha}$

where $\zeta = \zeta_r$ is a primitive $r$-th root of unity.

Explicit Formulas

Through binomial theorem and generating function techniques, explicit expressions for the higher-order case are obtained. When $r=2$, this reduces to classical higher-order Euler numbers.

New Polynomial Sequences

Definition

Define the polynomial sequence $\Delta(x,k)$: $\Delta(x,k+1) = (x+1)(2x+1)\Delta(x+1,k) - x^2\Delta(x,k)$ with initial condition: $\Delta(x,0) = 1$

Identities with Central Factorial Numbers

Theorem 5: For non-negative integers $n$ and $k$: $E_{2n+2k} = \sum_{j=0}^n \frac{(-1)^{j-k}(2j)!\Delta(j,k)}{2^j} T(2n,2j)$

Theorem 6: For non-negative integers $n$: $\sum_{j=0}^n (-4)^{n-j} t(2n+1,2j+1)\Delta(x,j) = (x+1)(x+2)\cdots(x+2n)$

where $T(n,k)$ and $t(n,k)$ are central factorial numbers of the second and first kind, respectively.

Experimental Results

Periodic Congruence Properties

Proposition 2 provides periodicity of Lehmer-Euler numbers modulo powers of 3:

• $\{W_{3n} \bmod 3^2\}$: Period 2, pattern $1,8,1$
• $\{W_{3n} \bmod 3^3\}$: Period 6
• $\{W_{3n} \bmod 3^4\}$: Period 18
• $\{W_{3n} \bmod 3^5\}$: Period 54

Numerical Verification

The paper provides specific values of the first few Lehmer-Euler numbers: $1, 1, 19, 1513, 315523, 136085041, 105261234643, \ldots$

and verifies that these values indeed satisfy the established congruence relations.

Related Work

Historical Development

1. Lehmer (1935): First defined generalized Euler numbers
2. Stern (1875), Frobenius (1910): Established congruence properties of classical Euler numbers
3. Ernvall (1979), Wagstaff (2000), Sun (2005): Further developed congruence theory for Euler numbers

Uniqueness of This Paper's Contributions

1. First Systematic Study: Congruence properties of Lehmer-Euler numbers have not been systematically investigated previously
2. Methodological Innovation: Cleverly combines Lucas' theorem with properties of cubic roots of unity
3. Result Generalization: Extends from the quadratic case to the cubic case with generally applicable methods

Conclusions and Discussion

Main Conclusions

1. Established a complete congruence theory framework for Lehmer-Euler numbers
2. Proved that these numbers possess explicit periodic congruence properties
3. Extended to incomplete and higher-order cases
4. Established profound connections with central factorial numbers

Limitations

1. Periodicity Conjecture: For $k \geq 6$, palindromic properties no longer hold; complete periodicity patterns require further investigation
2. General Conjecture: Conjecture 1 regarding $W_{3n} \equiv W_{3m} \pmod{3^{k+1}}$ when $3n \equiv 3m \pmod{2 \cdot 3^k}$ remains unproven
3. Computational Complexity: Calculations become complex for large moduli

Future Directions

1. Theory Refinement: Prove or refute the proposed conjectures
2. Generalization: Study generalized Euler numbers corresponding to $p$-th roots of unity
3. Application Extension: Explore applications in other number-theoretic problems

In-Depth Evaluation

Strengths

1. Theoretical Value: Fills a gap in congruence theory for Lehmer-Euler numbers with significant number-theoretic significance
2. Methodological Innovation: Skillfully applies Lucas' theorem and properties of roots of unity; methods are general and generalizable
3. Result Completeness: Forms a complete theoretical system from basic properties to higher-order generalizations
4. Computational Verification: Provides concrete numerical examples, enhancing result credibility

Weaknesses

1. Incomplete Results: Some conjectures remain unproven
2. Limited Applications: Primarily theoretical results; practical applications require further exploration
3. Complex Exposition: Some proofs are lengthy; readability could be improved

Impact

1. Academic Value: Provides new research objects and methods for number theory and combinatorics
2. Theoretical Contribution: Enriches congruence theory for special sequences
3. Method Generalization: Provides a paradigm for research on similar problems

Applicable Scenarios

1. Number Theory Research: Study of congruence properties of special sequences
2. Combinatorial Mathematics: Research on generating functions and special polynomials
3. Computational Mathematics: Verification of high-precision numerical calculations

References

The paper cites 27 related references, primarily including:

• Lehmer's original work 13
• Classical literature on Euler number congruence theory 4,5,24,25,27
• Related research on central factorial numbers 18,19,22
• Authors' prior related work 1,10,11,12

Overall Assessment: This is a high-quality number theory paper that systematically establishes congruence theory for Lehmer-Euler numbers with innovative methods and rich results, significantly advancing related fields. Despite some unresolved problems, it provides a solid foundation for subsequent research.