Let $k>2$ be a prime such that $2^k-1$ is a Mersenne prime. Let $n = 2^{α-1}p$, where $α>1$ and $p<3\cdot 2^{α-1}-1$ is an odd prime. Continuing the work of Cai et al. and Jiang, we prove that $n\ |\ σ_k(n)$ if and only if $n$ is an even perfect number $\neq 2^{k-1}(2^k-1)$. Furthermore, if $n = 2^{α-1}p^{β-1}$ for some $β>1$, then $n\ |\ σ_5(n)$ if and only if $n$ is an even perfect number $\neq 496$.
In this note, we present some new results on even almost perfect numbers which are not powers of two. In particular, we show that $2^{r+1} < b$, if ${2^r}{b^2}$ is an even almost perfect number.
The aim of this note is to show that any even perfect number, other than $6$, can be written as the sum of 5 cubes of natural numbers. We also conjecture that any even perfect number, other than $6$, can be written as the sum of only 3 cubes of natural numbers.
A perfect polynomial over the binary field $\F_2$ is a polynomial $A \in \F_2[x]$ that equals the sum of all its divisors. If $\gcd(A,x^2-x) \neq 1$ then we call $A$ even. The list of all even perfect polynomials over $\F_2$ with at most 3 prime factors in known. The object of this paper is to give the list of all even perfect polynomials over $\F_2$ with four prime factors. These are all the known perfect polynomials with four prime factors over $\F_2$.
In this paper we discuss near-perfect numbers of various forms. In particular, we study the existence of near-perfect numbers in the Fibonacci and Lucas sequences, near-perfect values taken by integer polynomials and repdigit near-perfect numbers.
We call positive integer n a near-perfect number, if it is sum of all its proper divisors, except of one of them ("redundant divisor"). We prove an Euclid-like theorem for near-perfect numbers and obtain some other results for them.
We call $n$ a spoof odd perfect number if $n$ is odd and $n=km$ for two integers $k,m>1$ such that $σ(k)(m+1)=2n$, where $σ$ is the sum-of-divisors function. In this paper, we show how results analogous to those of odd perfect numbers could be established for spoof odd perfect numbers (otherwise known in the literature as Descartes numbers). In particular, we prove that $k$ is not almost perfect.
We prove a modification as well as an improvement of a result of K. Ford, D. R. Heath-Brown and S. Konyagin concerning prime avoidance of square-free numbers and perfect powers of prime numbers.
Let $k\ge2$ be an integer. A natural number $n$ is called $k$-perfect if $σ(n)=kn.$ For any integer $r\ge1$ we prove that the number of odd $k$-perfect numbers with at most $r$ distinct prime factors is bounded by $k4^{r^3}$.
We present lower bounds on the sum and product of the distinct prime factors of an odd perfect number, which provide a lower bound on the size of the odd perfect number as a function of the number of its distinct prime factors.
An odd perfect number, N, is shown to have at least nine distinct prime factors. If 3 does not divide N, then N must have at least twelve distinct prime divisors. The proof ultimately avoids previous computational results for odd perfect numbers.
One of the many number theoretic topics investigated by the ancient Greeks was perfect numbers, which are positive integers equal to the sum of their proper positive integral divisors. Mathematicians from Euclid to Euler investigated these mysterious numbers. We present results on perfect numbers in the ring of Eisenstein integers.
Using Robert Spira's \cite{D} definitions of complex Mersenne numbers and the complex sum-of-divisors function, we characterize $(ω+2)$-norm-perfect and $(ω+2)$-perfect numbers that are divisble by $ω+2$ and prove the nonexistence of $2$-norm-perfect numbers that are divisible by $2$ in the Eisenstein integers.
In this paper, we introduce the concept of $F$-perfect number, which is a positive integer $n$ such that $\sum_{d|n,d<n}d^2=3n$. We prove that all the $F$-perfect numbers are of the form $n=F_{2k-1}F_{2k+1}$, where both $F_{2k-1}$ and $F_{2k+1}$ are Fibonacci primes. Moreover, we obtain other interesting results and raise a new conjecture on perfect numbers.
An odd perfect number $N$ is said to be given in Eulerian form if $N = {q^k}{n^2}$ where $q$ is prime with $q \equiv k \equiv 1 \pmod 4$ and $\gcd(q,n) = 1$. Similarly, an even perfect number $M$ is said to be given in Euclidean form if $M = (2^p - 1)\cdot{2^{p - 1}}$ where $p$ and $2^p - 1$ are primes. In this article, we show how simple considerations surrounding the differences between the underlying properties of the Eulerian and Euclidean forms of perfect numbers give rise to what we will call the Euclid-Euler heuristics for perfect numbers.
In this article, based on ideas and results by J. Sándor (2001, 2004), we define $k$-multiplicatively $e$-perfect numbers and $k$-multiplicatively $e$-superperfect numbers and prove some results on them. We also characterize the $k$-$T_0T^\ast$-perfect numbers defined by Das and Saikia (2013) in details.
Much recent progress has been made concerning the probable existence of Odd Perfect Numbers, forming part of what has come to be known as Sylvester's Web Of Conditions. This paper proves some results concerning certain properties of the sums of reciprocals of the factors of odd perfect numbers, or, in more technical terms, the properties of the sub-sums of σ_{-1} (n). By this result, it also establishes strong bounds on the prime factors of odd perfect numbers using the number of distinct prime factors it may possess.
A rational positive-definite quadratic form is perfect if it can be reconstructed from the knowledge of its minimal nonzero value m and the finite set of integral vectors v such that f(v) = m. This concept was introduced by Voronoi and later generalized by Koecher to arbitrary number fields. One knows that up to a natural "change of variables'' equivalence, there are only finitely many perfect forms, and given an initial perfect form one knows how to explicitly compute all perfect forms up to equivalence. In this paper we investigate perfect forms over totally real number fields. Our main resu…
The existence of a perfect odd number is an old open problem of number theory. An Euler's theorem states that if an odd integer $ n $ is perfect, then $ n $ is written as $ n = p ^ rm ^ 2 $, where $ r, m $ are odd numbers, $ p $ is a prime number of the form $ 4 k + 1 $ and $ (p, m) = 1 $, where $ (x, y) $ denotes the greatest common divisor of $ x $ and $ y $. In this article we show that the exponent $ r $, of $ p $, in this equation, is necessarily equal to 1. That is, if $ n $ is an odd perfect number, then $ n $ is written as $ n = pm ^ 2. $
For a positive integer $n$, let $σ(n)$ denote the sum of the positive divisors of $n$. Let $d$ be a proper divisor of $n$. We call $n$ a deficient-perfect number if $σ(n)=2n-d$. In this paper, we show that the only odd deficient-perfect number with four distinct prime divisors is $3^{2}\cdot 7^{2}\cdot 11^{2}\cdot 13^{2}$.
For a positive integer $n$, if $σ(n)$ denotes the sum of the positive divisors of $n$, then $n$ is called a deficient perfect number if $σ(n)=2n-d$ for some positive divisor $d$ of $n$. In this paper, we prove some results about odd deficient perfect numbers with four distinct prime factors.
Using an extension of the abundancy index to imaginary quadratic rings with unique factorization, we define what we call $n$-powerfully perfect numbers in these rings. This definition serves to extend the concept of perfect numbers that have been defined and studied in the integers. We investigate the properties of $2$-powerfully perfect numbers in the rings $\mathcal O_{\mathbb{Q}(\sqrt{-1})}$, $\mathcal O_{\mathbb{Q}(\sqrt{-2})}$, and $\mathcal O_{\mathbb{Q}(\sqrt{-7})}$, the three imaginary quadratic rings with unique factorization in which $2$ is not a prime.
The study of perfect numbers (numbers which equal the sum of their proper divisors) goes back to antiquity, and is responsible for some of the oldest and most popular conjectures in number theory. We investigate a generalization introduced by Pollack and Shevelev: $k$-near-perfect numbers. These are examples to the well-known pseudoperfect numbers first defined by Sierpiński, and are numbers such that the sum of all but at most $k$ of its proper divisors equals the number. We establish their asymptotic order for all integers $k\ge 4$, as well as some properties of related quantities.
For any positive integer $k$, we show that infinitely often, perfect $k$-th powers appear inside very long gaps between consecutive prime numbers, that is, gaps of size $$ c_k \frac{\log p \log_2 p \log_4 p}{(\log_3 p)^2}, $$ where $p$ is the smaller of the two primes.
The Euler's form of odd perfect numbers, if any, is $n=π^αN^2$, where $π$ is prime, $(π,N)=1$ and $π\equiv α\equiv 1 \pmod{4}$. Dris conjecture states that $N>π^α$. We find that $N^2>\frac{1}{2}π^γ$, with $γ=max\{ω(n)-1,α\}$; $ω(n)\geq 9$ is the number of distinct prime factors of $n$.
The divisor function $σ(n)$ sums the divisors of $n$. We call $n$ abundant when $σ(n) - n > n$ and perfect when $σ(n) - n = n$. I recently introduced the recursive divisor function $a(n)$, the recursive analog of the divisor function. It measures the extent to which a number is highly divisible into parts, such that the parts are highly divisible into subparts, so on. Just as the divisor function motivates the abundant and perfect numbers, the recursive divisor function motivates their recursive analogs, which I introduce here. A number is recursively abundant, or ample, if $a(n) > n$ and recu…
Let $N$ be an odd perfect number. Let $ω(N)$ be the number of distinct prime factors of $N$ and let $Ω(N)$ be the total number (counting multiplicity) of prime factors of $N$. We prove that $\frac{99}{37}ω(N) - \frac{187}{37} \leq Ω(N)$ and that if $3\nmid N$, then $\frac{51}{19}ω(N)-\frac{46}{19} \leq Ω(N)$.
Let $n$ and $k$ be positive integers and $σ(n)$ the sum of all positive divisors of $n$. We call $n$ an exactly $k$-deficient-perfect number with deficient divisors $d_1, d_2, \ldots, d_k$ if $d_1, d_2, \ldots, d_k$ are distinct proper divisors of $n$ and $σ(n)=2n-(d_1+d_2+\ldots + d_k)$. In this article, we show that the only odd exactly $3$-deficient-perfect number with at most two distinct prime factors is $1521=3^2 \cdot 13^2$.
We study the set $\mathcal{S}$ of odd positive integers $n$ with the property ${2n}/{σ(n)} - 1 = 1/x$, for positive integer $x$, i.e., the set that relates to odd perfect and odd "spoof perfect" numbers. As a consequence, we find that if $D=pq$ denotes a spoof odd perfect number other than Descartes' example, with pseudo-prime factor $p$, then $q>10^{12}$. Furthermore, we find irregularities in the ending digits of integers $n\in\mathcal{S}$ and study aspects of its density, leading us to conjecture that the amount of numbers in $\mathcal{S}$ below $k$ is $\sim10 \log(k)$.
The Descartes-Frenicle-Sorli conjecture predicts that $k=1$ if $q^k n^2$ is an odd perfect number with Euler prime $q$. In this note, we present some conditions equivalent to this conjecture.
We study some counting questions concerning products of positive integers $u_1, \ldots, u_n$ which form a non-zero perfect square, or more generally, a perfect $k$-th power. We obtain an asymptotic formula for the number of such integers of bounded size and in particular improve and generalize a result of D. I. Tolev (2011). We also use similar ideas to count the discriminants of number fields which are multiquadratic extensions of $\mathbb{Q}$ and improve and generalize a result of N. Rome (2017).
We study the equation $F_n + F_m = y^p$, where $F_n$ and $F_m$ are respectively the $n$-th and $m$-th Fibonacci numbers and $p \ge 2$. We find all solutions under the assumption $n \equiv m \pmod{2}$.
If $N={q^k}{n^2}$ is an odd perfect number given in Eulerian form, then the Descartes-Frenicle-Sorli conjecture predicts that $k=ν_{q}(N)=1$. In this article, we give a short proof for this conjecture.
Let $σ(n)$ denote the sum of the positive divisors of $n$. We say that $n$ is perfect if $σ(n) = 2 n$. Currently there are no known odd perfect numbers. It is known that if an odd perfect number exists, then it must be of the form $N = p^α\prod_{j=1}^k q_j^{2 β_j}$, where $p, q_1, ..., q_k$ are distinct primes and $p \equiv α\equiv 1 \pmod{4}$. Define the total number of prime factors of $N$ as $Ω(N) := α+ 2 \sum_{j=1}^k β_j$. Sayers showed that $Ω(N) \geq 29$. This was later extended by Iannucci and Sorli to show that $Ω(N) \geq 37$. This was extended by the author to show that $Ω(N) \geq 47$…
We shall show that, for any given primes $\ell\geq 17$ and $p, q\equiv 1\pmod{\ell}$, the diophantine equation $(x^\ell-1)/(x-1)=p^m q$ has at most four positive integral solutions $(x, m)$ and give its application to odd perfect number problem.
We shall given a new effectively computable upper bound of odd perfect numbers whose Euler factors are powers of fixed exponent, improving our old result in T. Yamada, Colloq. Math. 103 (2005), 303--307.
We present an adaptation of Voronoi theory for imaginary quadratic number fields of class number greater than 1. This includes a characterisation of extreme Hermitian forms which is analogous to the classic characterisation of extreme quadratic forms as well as a version of Voronoi's famous algorithm which may be used to enumerate all perfect Hermitian forms for a given imaginary quadratic number field in dimensions 2 and 3. We also present an application of the algorithm which allows to determine generators of the general linear group of an $Ø_K$-lattice.
Euler showed that if an odd perfect number exists, it must be of the form $N = p^αq_{1}^{2β_{1}}$ $\ldots$ $q_{k}^{2β_{k}}$, where $p, q_{1}, \ldots, q_k$ are distinct odd primes, $α$, $β_{i} \geq 1$, for $1 \leq i \leq k$, with $p \equiv α\equiv 1 \pmod{4}$. In 2005, Evans and Pearlman showed that $N$ is not perfect, if $3|N$ or $7|N$ and each $β_{i} \equiv 2 \pmod{5}$. We improve on this result by removing the hypothesis that $3|N$ or $7|N$ and show that $N$ is not perfect, simply, if each $β_{i} \equiv 2 \pmod{5}$.
We investigate the implications of a curious biconditional involving divisors of odd perfect numbers, if Dris conjecture that $q^k < n$ holds, where $q^k n^2$ is an odd perfect number with Euler prime $q$. We then show that this biconditional holds unconditionally. Lastly, we prove that the inequality $q<n$ holds unconditionally.
Let $K$ be a totally real number field of degree $n$ over $\mathbb{Q}$, with discriminant and regulator $Δ_K, R_K$ respectively. In this paper, using a similar method to van Woerden, we prove that the number of classes of perfect unary forms, up to equivalence and scaling, can be bounded above by $O( Δ_K \exp(2n \log(n)+f(n,R_K)))$, where $f(n,R_K)$ is a finite value, satisfying $f(n,R_K)=\frac{\sqrt{n-1}}{2}R_K^{\frac{1}{n-1}}+\frac{4}{n-1}\log(\sqrt{|Δ_K|})^2$ if $n \leq 11$. Moreover, if $K$ is a unit reducible field, the number of classes of perfect unary forms is bound above by $O( Δ_K \e…
In this note, we show that if $N$ is an odd perfect number and $q^α$ is some prime power exactly dividing it, then $σ(N/q^α)/q^α>5$. In general, we also show that if $σ(N/q^α)/q^α<K$, where $K$ is any constant, then $N$ is bounded by some function depending on $K$.
Let $Ω(n)$ denote the total number of prime divisors of $n$ (counting multiplicity) and let $ω(n)$ denote the number of distinct prime divisors of $n$. Various inequalities have been proved relating $ω(N)$ and $Ω(N)$ when $N$ is an odd perfect number. We improve on these inequalities. In particular, we show that if $3 \not| N$, then $Ω\geq \frac{8}{3}ω(N)-\frac{7}{3}$ and if $3 |N$ then $Ω(N) \geq \frac{21}{8}ω(N)-\frac{39}{8}.$
We address an arithmetic problem in the ring $\F_2[x]$ related to the fixed points of the sum of divisors function. We study some binary polynomials $A$ such that $σ(A)/A $ is still a binary polynomial. Technically, we prove that the only (unitary) perfect polynomials over $\F_2$ that are products of $x$, $x+1$ and of Mersenne primes are precisely the nine (resp. nine "classes") known ones. This follows from a new result about the factorization of $M^{2h+1} +1$, for a Mersenne prime $M$ and for a positive integer $h$.
Let $q$ be a perfect power of a prime number $p$ and $E({\mathbb F}_q)$ be an elliptic curve over ${\mathbb F}_q$ given by the equation $y^2=x^3+Ax+B$. For a positive integer $n$ we denote by $ \# E({\mathbb F}_{q^n})$ the number of rational points on $E$ (including infinity) over the extension ${\mathbb F}_{q^n}$. Under a mild technical condition, we show that the sequence $\lbrace \# E({\mathbb F}_{q^n}) \rbrace_{n>0}$ contains at most $10^{200}$ perfect squares. If the mild condition is not satisfied, then $\#E({\mathbb F}_{q^n})$ is a perfect square for infinitely many $n$ including all th…
A positive integer n is said to be perfect if sigma(n)=2n, where sigma denotes the sum of the divisors of n. In this article, we show that if n is an even perfect number, then any integer m<=n is expressed as a sum of some of divisors of n.
Let us denote by $F_n$ the $n$-th Fibonacci number. In this paper we show that for a fixed integer $y$ there exists at most one integer exponent $a>0$ such that the Diophantine equation $F_n+F_m=y^a$ has a solution $(n,m,a)$ in positive integers satisfying $n>m>0$, unless $y=2,3,4,6$ or $10$.
If $N={q^k}{n^2}$ is an odd perfect number given in Eulerian form, then the Descartes-Frenicle-Sorli conjecture predicts that $k=1$. Brown has recently announced a proof for the inequality $q < n$, and a partial proof that $q^k < n$ holds under many cases. In this article, we give a strategy for strengthening Brown's result to $q^2 < n$.
If $N = {q^k}{n^2}$ is an odd perfect number, where $q$ is the Euler prime, then we show that $n < q$ is sufficient for Sorli's conjecture that $k = ν_{q}(N) = 1$ to hold. We also prove that $q^k < 2/3{n^2}$, and that $I(q^k) < I(n)$, where $I(x)$ is the abundancy index of $x$.
M. B. Levin used Sobol-Faure low discrepancy sequences with Pascal matrices modulo $2$ to construct, for each integer $b$, a real number $x$ such that the first $N$ terms of the sequence $(b^n x \mod 1)_{n\geq 1}$ have discrepancy $O((\log N)^2/N)$. This is the lowest discrepancy known for this kind of sequences. In this note we characterize Levin's construction in terms of nested perfect necklaces, which are a variant of the classical de Bruijn necklaces. Moreover, we show that every real number $x$ whose base $b$ expansion is the concatenation of nested perfect necklaces of exponentially inc…