On a theorem of Kanold on odd perfect numbers

Tomohiro Yamada

2023-12-28

Abstract:We shall prove that if $N=p^\alpha q_1^{2\beta_1} q_2^{2\beta_2} \cdots q_{r-1}^{2\beta_{r-1}}$ is an odd perfect number such that $p, q_1, \ldots, q_{r-1}$ are distinct primes, $p\equiv\alpha\equiv 1\mod{4}$ and $t$ divides $2\beta_i+1$ for all $i=1, 2, \ldots, r-1$, then $t^5$ divides $N$, improving an eighty-year old result of Kanold.

Number Theory

What problem does this paper attempt to address?

A note on the Diophantine equations 2 l n 2 = 1 + q + ⋯ + q α and application to odd perfect numbers

Yoshinosuke Hirakawa

DOI: https://doi.org/10.1016/j.indag.2023.12.004

IF: 0.827

2024-01-01

Indagationes Mathematicae

Abstract:Let N be an odd perfect number. Then, Euler proved that there exist some integers n , α and a prime q such that N = n 2 q α , q ∤ n , and q ≡ α ≡ 1 mod 4 . In this note, we prove that the ratio σ ( n 2 ) q α is neither a square nor a square times a single prime unless α = 1 . It is a direct consequence of a certain property of the Diophantine equation 2 l n 2 = 1 + q + ⋯ + q α , where l denotes one or a prime, and its proof is based on the prime ideal factorization in the quadratic orders Z [ 1 − q ] and the primitive solutions of generalized Fermat equations x β + y β = 2 z 2 . We give also a slight generalization to odd multiply perfect numbers.

mathematics
A Congruence Involving Harmonic Sums Modulo P^αq^β

Tianxin Cai,Zhongyan Shen,Lirui Jia

DOI: https://doi.org/10.1142/s1793042117500580

2016-01-01

International Journal of Number Theory

Abstract:In 2014, Wang and Cai established the following harmonic congruence for any odd prime [Formula: see text] and positive integer [Formula: see text], [Formula: see text] where [Formula: see text] and [Formula: see text] denote the set of positive integers which are prime to [Formula: see text]. In this paper, we obtain an unexpected congruence for distinct odd primes [Formula: see text], [Formula: see text] and positive integers [Formula: see text], [Formula: see text] and the necessary and sufficient condition for [Formula: see text] Finally, we raise a conjecture that for [Formula: see text] and odd prime power [Formula: see text], [Formula: see text], [Formula: see text] However, we fail to prove it even for [Formula: see text] with three distinct prime factors.
A generalization of the Romanoff theorem

Yuchen Ding

2024-08-21

Abstract:Let $\mathcal{P}$ be the set of primes and $\mathbb{N}$ the set of positive integers. Let also $r_1,...,r_t$ be positive real numbers and $R_2(r_1,...,r_t)$ the set of odd integers which can be represented as $$ p+2^{\lfloor k_1^{r_1}\rfloor}+\cdot\cdot\cdot+2^{\lfloor k_t^{r_t}\rfloor}, $$ where $p\in \mathcal{P}$ and $k_1,...,k_t\in\mathbb{N}$. Recently, Chen and Xu proved that the set $R_2(r_1,...,r_t)$ has positive lower asymptotic density, provided that $r_1^{-1}+\cdot\cdot\cdot+r_t^{-1}\ge 1$ and at least one of $r_1,...,r_t$ is an integer. Their result reduces to the famous theorem of Romanoff by taking $t=r_1=1.$ In this note, we remove the unnecessary condition that `{\it at least one of $r_1,...,r_t$ is an integer}'.

Number Theory
Super Congruences Involving Alternating Harmonic Sums Modulo Prime Powers

Zhongyan Shen,Tianxin Cai

DOI: https://doi.org/10.48550/arxiv.1503.03156

2015-01-01

Abstract:In 2014, Wang and Cai established the following harmonic congruence for any odd prime $p$ and positive integer $r$, \begin{equation*} \sum\limits_{i+j+k=p^{r}\atop{i,j,k\in \mathcal{P}_{p}}}\frac{1}{ijk}\equiv-2p^{r-1}B_{p-3} (\bmod p^{r}), \end{equation*} where $\mathcal{P}_{n}$ denote the set of positive integers which are prime to $n$. In this note, we establish a combinational congruence of alternating harmonic sums for any odd prime $p$ and positive integers $r$, \begin{equation*} \sum\limits_{i+j+k=p^{r}\atop{i,j,k\in \mathcal{P}_{p}}}\frac{(-1)^{i}}{ijk} \equiv \frac{1}{2}p^{r-1}B_{p-3} (\bmod p^{r}). \end{equation*} For any odd prime $p\geq 5$ and positive integers $r$, we have \begin{align} &4\sum\limits_{i_{1}+i_{2}+i_{3}+i_{4}=2p^{r}\atop{i_{1}, i_{2}, i_{3}, i_{4}\in \mathcal{P}_{p}}}\frac{(-1)^{i_{1}}}{i_{1}i_{2}i_{3}i_{4}}+3\sum\limits_{i_{1}+i_{2}+i_{3}+i_{4}=2p^{r}\atop{i_{1}, i_{2}, i_{3}, i_{4}\in \mathcal{P}_{p}}}\frac{(-1)^{i_{1}+i_{2}}}{i_{1}i_{2}i_{3}i_{4}} \nonumber\\&\equiv\begin{cases} \frac{216}{5}pB_{p-5}\pmod{p^{2}}, if r=1, \\ \frac{36}{5}p^{r}B_{p-5}\pmod{p^{r+1}}, if r>1. \\ \end{cases}\nonumber \end{align} For any odd prime $p> 5$ and positive integers $r$, we have \begin{align} &\sum\limits_{i_{1}+i_{2}+i_{3}+i_{4}+i_{5}=2p^{r}\atop{i_{1}, i_{2}, i_{3}, i_{4}, i_{5}\in \mathcal{P}_{p}}}\frac{(-1)^{i_{1}}}{i_{1}i_{2}i_{3}i_{4}i_{5}}+2\sum\limits_{i_{1}+i_{2}+i_{3}+i_{4}+i_{5}=2p^{r}\atop{i_{1}, i_{2}, i_{3}, i_{4}, i_{5}\in \mathcal{P}_{p}}}\frac{(-1)^{i_{1}+i_{2}}}{i_{1}i_{2}i_{3}i_{4}i_{5}} \nonumber\\&\equiv\begin{cases} 12B_{p-5}\pmod{p}, if r=1,\\ 6p^{r-1}B_{p-5}\pmod{p^{r}}, if r>1. \end{cases}\nonumber \end{align}
Sur le théorème de Fermat sur ${\bf Q}(\sqrt{5})$

Alain Kraus

DOI: https://doi.org/10.48550/arXiv.1410.2420

2014-10-09

Number Theory

Abstract:Let $p$ be an odd prime number. Using modular arguments, we give an easy testable condition which allows often to prove Fermat's Last Theorem over the quadratic field ${\bf Q}(\sqrt{5})$ for the exponent $p$. It is related to the Wendt's resultant of the polynomials $X^n-1$ and $(X+1)^n-1$. We deduce Fermat's Last Theorem over this field in case one has $5\leq p<10^7$, and we obtain analogous results on Sophie Germain type criteria.
Class numbers, Ono invariants and some interesting primes

Alexandru Gica

2024-01-29

Abstract:The main purpose of this paper is to find all the prime numbers p for which whenever we add to p an odd square less than p we obtain a number which has at most two different prime factors. We solve completely the cases $p\equiv 1,3,5 \pmod 8$. The idea of the proof in these cases is to find the class number for the quadratic imaginary field $\mathbb{Q}(i\sqrt p)$. Since we know all these quadratic imaginary fields with class number 1, 2 or 4, we are able to solve these cases. The most interesting case is $p\equiv 7 \pmod 8$. We prove in this case that the Ono invariant of the field equals the class number. S. Louboutin succeeded to find all these fields, with one possible exception. Assuming a Restricted Riemann Hypothesis, the list of Louboutin is complete.

Number Theory
On differences of perfect powers and prime powers

Pedro-José Cazorla García

2023-12-16

Abstract:Given a prime number $q$ and a squarefree integer $C_1$, we develop a method to explicitly determine the tuples $(y, n, \alpha)$ for which the difference $y^n-q^\alpha$ has squarefree part equal to $C_1$. Our techniques include the combination of the local information provided by Galois representations of Frey-Hellegouarch curves with the effective resolution of Thue-Mahler equations, as well as the use of improved lower bounds for $q-$adic and complex logarithms. As an application of this methodology, we will completely resolve the case when $1 \le C_1 \le 20$ and $ 2 \le q < 25$.

Number Theory
A note on odd partition numbers

Michael Griffin,Ken Ono

2024-03-16

Abstract:Ramanujan's celebrated partition congruences modulo $\ell\in \{5, 7, 11\}$ assert that $$ p(\ell n+\delta_{\ell})\equiv 0\pmod{\ell}, $$ where $0<\delta_{\ell}<\ell$ satisfies $24\delta_{\ell}\equiv 1\pmod{\ell}.$ By proving Subbarao's Conjecture, Radu showed that there are no such congruences when it comes to parity. There are infinitely many odd (resp. even) partition numbers in every arithmetic progression. For primes $\ell \geq 5,$ we give a new proof of the conclusion that there are infinitely many $m$ for which $p(\ell m+\delta_{\ell})$ is odd. This proof uses a generalization, due to the second author and Ramsey, of a result of Mazur in his classic paper on the Eisenstein ideal. We also refine a classical criterion of Sturm for modular form congruences, which allows us to show that the smallest such $m$ satisfies $m<(\ell^2-1)/24,$ representing a significant improvement to the previous bound.

Number Theory
Yet another Proof of an old Hat

Roland Bacher

DOI: https://doi.org/10.48550/arXiv.2111.02788

2021-10-29

History and Overview

Abstract:Every odd prime number p can be written in exactly (p + 1)/2 ways as a sum ab + cd with min(a, b) > max(c, d) of two ordered products. This gives a new proof Fermat's Theorem expressing primes of the form 1 + 4N as sums of two squares 1 .
Congruent Numbers, Quadratic Forms and $$K_2$$

Qin Hourong

DOI: https://doi.org/10.1007/s00208-021-02263-x

2021-01-01

Mathematische Annalen

Abstract:We give a new and self-contained proof for an alternative form of Tunnell’s theorem on congruent numbers. The proof relies on more knowledge on quadratic forms with less calculation than Tunnell’s proof. The approach is based on our observation that the equality $$\#\{(x,y,z,w) \in \mathbb {Z}^4|p=2x^2+3y^2+3z^2+4w^2+2yz\}=\#\{(x,y,z) \in \mathbb {Z}^3|p^2=2x^2+4y^2+9z^2-4yz\}$$ holds for any odd prime p. The same method is applied to the elliptic curves $$E_n:~y^2=x^3+n^2x$$ and $$E_{n}:~~y^2=x(x-n)(x+3n)(E_{-n}:~~y^2=x(x+n)(x-3n))$$ ( $$\pi /3$$ ( $$2\pi /3$$ )-congruent elliptic curves), where we list, without proof, the analogous results. A series of criteria for congruent numbers are given. In particular, for a prime p, we show that if $$p\equiv 1\pmod {8}$$ is a congruent number then the 8-rank of $$K_2O_{\mathbb {Q}(\sqrt{p})}$$ equals one; if $$p\equiv 1\pmod {16}$$ with $$h(-p)\not \equiv h(-2p)\pmod {16}$$ then 2p is not a congruent number; and if $$p\equiv 1, q\equiv 3\pmod {8}$$ are two primes with $$h(-pq)\not \equiv h(-p)\pmod {8}$$ then pq is not a congruent number.
On odd perfect numbers of special forms

Luis H. Gallardo,Olivier.Rahavandrainy

2023-04-09

Abstract:We give necessary conditions for perfection of some families of odd numbers with special multiplicative forms. Extending earlier work of Steuerwald, Kanold, McDaniel et al.

Number Theory
On the Components of an Odd Perfect Number

Jose Arnaldo B. Dris

DOI: https://doi.org/10.48550/arXiv.1206.3230

2012-06-15

Abstract:If $N = {p^k}{m^2}$ is an odd perfect number with special prime factor $p$, then it is proved that ${p^k} < (2/3){m^2}$. Numerical results on the abundancy indices $\frac{\sigma(p^k)}{p^k}$ and $\frac{\sigma(m^2)}{m^2}$, and the ratios $\frac{\sigma(p^k)}{m^2}$ and $\frac{\sigma(m^2)}{p^k}$, are used. It is also showed that $m^2 > \frac{\sqrt{6}}{2}({10}^{150})$.

Number Theory
On an exponential D. H. Lehmer problem

Zhefeng Xu,Jiankang Wang,Lirong Zhu

DOI: https://doi.org/10.3934/era.2024085

2024-01-01

Electronic Research Archive

Abstract:For an odd prime $ p $ and a positive integer $ \alpha $, let $ g $ be of multiplicative order $ \tau $ modulo $ q $ and $ q = p^{\alpha} $. Denote by $ N(h, g, q) $ the number of $ a $ such that $ h\nmid (a+(g^{a})_{q}) $ for any $ 1\leq a\leq \tau $ and a fixed integer $ h\geq 2 $ with $ (h, q) = 1 $. The main purpose of this paper is to give a sharp asymptotic formula for \begin{document}$ N(k, h, g, q) = \mathop{\sum\limits_{\begin{smallmatrix} a = 1\\ h\nmid (a+(g^{a})_{q}) \end{smallmatrix}}^{\tau}}\left|a-(g^{a})_{q}\right| ^{2k} $\end{document} where $ k $ is any nonnegative integer and $ (a)_{q} $ denotes the smallest positive residue of $ a $ modulo $ q $. In addition, we know that $ N(h, g, q) = N(0, h, g, q) $.

mathematics
On the Non p-Rationality and Iwasawa Invariants of Certain Real Quadratic Fields

Peikai Qi,Matt Stokes

2024-08-07

Abstract:Let $p$ be an odd prime, and $m,r \in \mathbb{Z}^+$ with $m$ coprime to $p$. In this paper we investigate the real quadratic fields $K = \mathbb{Q}(\sqrt{m^2p^{2r} + 1})$. We first show that for $m < C$, where constant $C$ depends on $p$, the fundamental unit $\varepsilon$ of $K$ satisfies the congruence $\varepsilon^{p-1} \equiv 1 \mod{p^2}$, which implies that $K$ is a non $p$-rational field. Varying $r$ then gives an infinite family of non $p$-rational fields. When $m = 1$ and $p$ is a non-Wieferich prime, we use a criterion of Fukuda and Komatsu to show that if $p$ does not divide the class number of $K$, then the Iwasawa invariants for cyclotomic $\mathbb{Z}_p$-extension of $K$ vanish. We conjecture that there are infinitely many $r$ such that $p$ does not divide the class number of $K$.

Number Theory
On an additive problem involving fractional powers with one prime and an almost prime variables

Liuying Wu

2023-06-06

Abstract:For any real number $t$, let $[t]$ denote the integer part of $t$. In this paper it is proved that if $1<c<\frac{247}{238}$, then for sufficiently large integer $N$, the equation \[\left[p^{c}\right]+\left[m^{c}\right]=N\] has a solution in a prime $p$ and an almost prime $m$ with at most $\left[\frac{450}{247-238c}\right]+1$ prime factors. This result constitutes an improvement upon that of Petrov and Tolev.

Number Theory
On Nonlinear Kloosterman Sums

M. A. Korolev

DOI: https://doi.org/10.1134/s1064562422700272

2022-12-01

Doklady Mathematics

Abstract:Exponential sums of a special type—the so-called Kloosterman sums—play a key role in numerous number-theoretic problems concerning the distribution of inverse residues in residue rings modulo a given q. In many cases, estimates of such sums are based on A. Weil’s bound for complete Kloosterman sums over primes. This bound allows one to estimate Kloosterman sums of length documentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$$N geqslant {{q}^{{0.5 + varepsilon }}}$$end{document} for any fixed documentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$$varepsilon > 0$$end{document} with a power-saving factor. Weil’s bound was originally proved using methods of algebraic geometry. Later, S.A. Stepanov gave an elementary proof of this bound, but this proof was also complicated enough. The aim of this paper is to give an elementary proof of an estimate for the Kloosterman sum of length documentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$$N geqslant {{q}^{{0.5 + varepsilon }}}$$end{document}, which also leads to a power-saving factor. This proof is based on the trick of additive shift of the summation variable, which is widely used in various number theory problems.

mathematics
A Note on Integers of the Form 2(N)+cp

ZW Sun,SM Yang

DOI: https://doi.org/10.1017/s0013091500000924

2002-01-01

Proceedings of the Edinburgh Mathematical Society

Abstract:AbstractIn 1950 Erdös proved that if $x\equiv2\,036\,812\ (\mo5\,592\,405)$ and $x\equiv3\ (\mo62)$, then $x$ is not of the form $2^n+p$, where $n$ is a non-negative integer and $p$ is a prime. In this note we present a theorem on integers of the form $2^n+cp$, in particular we completely determine all those integers $c$ relatively prime to $5\,592\,405$ such that the residue class $2\,036\,812(\mo5\,592\,405)$ contains integers of the form $2^n+cp$.AMS 2000 Mathematics subject classification: Primary 11P32. Secondary 11A07; 11B25; 11B75
An Elementary Proof of a Conjecture of Saikia on Congruences for $t$--Colored Overpartitions

James A. Sellers

2023-07-04

Abstract:The starting point for this work is the family of functions $\overline{p}_{-t}(n)$ which counts the number of $t$--colored overpartitions of $n.$ In recent years, several infinite families of congruences satisfied by $\overline{p}_{-t}(n)$ for specific values of $t\geq 1$ have been proven. In particular, in his 2023 work, Saikia proved a number of congruence properties modulo powers of 2 for $\overline{p}_{-t}(n)$ for $t=5,7,11,13$. He also included the following conjecture in that paper: \newline \ %\newline \noindent Conjecture: For all $n\geq 0$ and primes $t$, we have \begin{eqnarray*} \overline{p}_{-t}(8n+1) &\equiv & 0 \pmod{2}, \\ \overline{p}_{-t}(8n+2) &\equiv & 0 \pmod{4}, \\ \overline{p}_{-t}(8n+3) &\equiv & 0 \pmod{8}, \\ \overline{p}_{-t}(8n+4) &\equiv & 0 \pmod{2}, \\ \overline{p}_{-t}(8n+5) &\equiv & 0 \pmod{8}, \\ \overline{p}_{-t}(8n+6) &\equiv & 0 \pmod{8}, \\ \overline{p}_{-t}(8n+7) &\equiv & 0 \pmod{32}. \end{eqnarray*} Using a truly elementary approach, relying on classical generating function manipulations and dissections, as well as proof by induction, we show that Saikia's conjecture holds for {\bf all} odd integers $t$ (not necessarily prime).

Number Theory,Combinatorics
A New Theorem on Quadratic Residues Modulo Primes

Qing-Hu Houa,Hao Panb,Zhi-Wei Sun

DOI: https://doi.org/10.5802/crmath.371

2022-01-01

Comptes Rendus Mathématique

Abstract:Let $p>3$ be a prime, and let $(\frac{\cdot}p)$ be the Legendre symbol. Let $b\in\mathbb Z$ and $\varepsilon\in\{\pm 1\}$. We mainly prove that $$\left|\left\{N_p(a,b):\ 1\{ax^2+b\}_p$, and $\{m\}_p$ with $m\in\mathbb{Z}$ is the least nonnegative residue of $m$ modulo $p$.
Odd moments and adding fractions

Thomas F. Bloom,Vivian Kuperberg

2023-12-14

Abstract:We prove near-optimal upper bounds for the odd moments of the distribution of coprime residues in short intervals, confirming a conjecture of Montgomery and Vaughan. As an application we prove near-optimal upper bounds for the average of the refined singular series in the Hardy-Littlewood conjectures concerning the number of prime $k$-tuples for $k$ odd. The main new ingredient is a near-optimal upper bound for the number of solutions to $\sum_{1\leq i\leq k}\frac{a_i}{q_i}\in \mathbb{Z}$ when $k$ is odd, with $(a_i,q_i)=1$ and restrictions on the size of the numerators and denominators, that is of independent interest.

Number Theory

On a theorem of Kanold on odd perfect numbers

A note on the Diophantine equations 2 l n 2 = 1 + q + ⋯ + q α and application to odd perfect numbers

A Congruence Involving Harmonic Sums Modulo P^αq^β

A generalization of the Romanoff theorem

Super Congruences Involving Alternating Harmonic Sums Modulo Prime Powers

Sur le théorème de Fermat sur ${\bf Q}(\sqrt{5})$

Class numbers, Ono invariants and some interesting primes

On differences of perfect powers and prime powers

A note on odd partition numbers

Yet another Proof of an old Hat

Congruent Numbers, Quadratic Forms and $$K_2$$

On odd perfect numbers of special forms

On the Components of an Odd Perfect Number

On an exponential D. H. Lehmer problem

On the Non p-Rationality and Iwasawa Invariants of Certain Real Quadratic Fields

On an additive problem involving fractional powers with one prime and an almost prime variables

On Nonlinear Kloosterman Sums

A Note on Integers of the Form 2(N)+cp

An Elementary Proof of a Conjecture of Saikia on Congruences for $t$--Colored Overpartitions

A New Theorem on Quadratic Residues Modulo Primes

Odd moments and adding fractions