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}$.
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$.
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.
Let $σ(n)$ to be the sum of the positive divisors of $n$. A number is non-deficient if $σ(n) \geq 2n$. We establish new lower bounds for the number of distinct prime factors of an odd non-deficient number in terms of its second smallest, third smallest and fourth smallest prime factors. We also obtain tighter bounds for odd perfect numbers. We also discuss the behavior of $σ(n!+1)$, $σ(2^n+1)$, and related sequences.
We give necessary conditions satisfied by the set of odd prime divisors of binary perfect polynomials. This allows us to get a new characterization of all the known perfect binary polynomials.
In this paper, we consider a conjecture of Erdős and Rosenfeld when the number is a perfect square. In particular, we show that every perfect square $n$ can have at most five divisors between $\sqrt{n} - c \sqrt[4]{n}$ and $\sqrt{n} + c \sqrt[4]{n}$.
The only (unitary) perfect polynomials over $\mathbb{F}_2$ that are products of $x$, $x+1$ and 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$. Other consequences of such a factorization are new results about odd perfect polynomials.
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 $N$ be an odd perfect number and let $a$ be its third largest prime divisor, $b$ be the second largest prime divisor, and $c$ be its largest prime divisor. We discuss steps towards obtaining a non-trivial upper bound on $a$, as well as the closely related problem of improving bounds $bc$, and $abc$. In particular, we prove two results. First we prove a new general bound on any prime divisor of an odd perfect number and obtain as a corollary of that bound that $$a < 2N^{\frac{1}{6}}.$$ Second, we show that $$abc < (2N)^{\frac{3}{5}}.$$ We also show how in certain circumstances these bounds …
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$.
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$.
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…
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.
Let $a\geq 1, b\geq 0$ and $k\geq 2$ be any given integers. It has been proven that there exist infinitely many natural numbers $m$ such that sum of divisors of $m$ is a perfect $k$th power. We try to generalize this result when the values of $m$ belong to any given infinite arithmetic progression $an+b$. We prove if $a$ is relatively prime to $b$ and order of $b$ modulo $a$ is relatively prime to $k$ then there exist infinitely many natural numbers $n$ such that sum of divisors of $an+b$ is a perfect $k$th power. We also prove that, in general, either sum of divisors of $an+b$ is not a perfec…
We show that $n$ is almost perfect if and only if $I(n) - 1 < D(n) \leq I(n)$, where $I(n)$ is the abundancy index of $n$ and $D(n)$ is the deficiency of $n$. This criterion is then extended to the case of integers $m$ satisfying $D(m)>1$.
A rationality condition is derived for the existence of odd perfect numbers involving the square root of a product, which consists of a sequence of repunits, multiplied by twice the base of one of the repunits. This constraint also provides an upper bound for density of odd integers which could satisfy ${{σ(N)}\over N}=2$, where $N$ belongs to a fixed interval with a lower limit greater than $10^{300}$. Characteristics of prime divisors of repunits are used to establish whether the product containing the repunits can be a perfect square. It is shown that the arithmetic primitive divisors with …
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 extend the sum-of-divisors function to the complex plane via the Gaussian integers. Then we prove a modified form of Euler's classification of odd perfect numbers.
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.
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.
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.
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.
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.
We determine primitive solutions to the equation $(x-r)^2 + x^2 + (x+r)^2 = y^n$ for $1 \le r \le 5,000$, making use of a factorization argument and the Primitive Divisors Theorem due to Bilu, Hanrot and Voutier.
We generalise the sum-of-divisors-function $σ$ and evenness to the rings of integers of certain algebraic number fields. In particular, we present necessary and sufficient conditions for even Eisenstein integers to be (norm-)perfect based on the work of McDaniel [McD] on Gaussian integers. Furthermore, some results concerning odd norm-perfect Eisenstein integers and the rings of integers of other cyclotomic fields are proven.
Let $P$ be a non-torsion point on the elliptic curve $E_{a}: y^{2}=x^{3}+ax$. We show that if $a$ is fourth-power-free and either $n>2$ is even or $n>1$ is odd with $x(P)<0$ or $x(P)$ a perfect square, then the $n$-th element of the elliptic divisibility sequence generated by $P$ always has a primitive divisor.
A perfect number is a positive integer n such that n equals the sum of all positive integer divisors of n that are less than n. That is, although n is a divisor of n, n is excluded from this sum. Thus 6 = 1 + 2 + 3 is perfect, but 12 < 1 + 2 + 3 + 4 + 6 is not perfect. An ACL2 theory of perfect numbers is developed and used to prove, in ACL2(r), this bit of mathematical folklore: Even if there are infinitely many perfect numbers the series of the reciprocals of all perfect numbers converges.
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.
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$.
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. $
Complete characterization of $2$-near perfect numbers with exactly 2 prime factors
University of Notre Dame(圣母大学);Yale University(耶鲁大学);California Institute of Technology(加州理工学院);Massachusetts Institute of Technology(麻省理工学院);Hopkins School(霍普金斯中学)
A natural number $n$ is called {\it multiperfect} or {\it$k$-perfect} for integer $k\ge2$ if $σ(n)=kn$, where $σ(n)$ is the sum of the positive divisors of $n$. In this paper, we establish the structure theorem of odd multiperfect numbers analogous as Euler's theorem on odd perfect numbers. We prove the divisibility of the Euler part of odd multiperfect numbers and characterize the forms of odd perfect numbers $n=π^αM^2$ such that $π\equivα(\text{mod}8)$. We also present some examples to show the nonexistence of odd perfect numbers as applications.
We prove new exact formulas for the generalized sum-of-divisors functions, $σ_α(x) := \sum_{d|x} d^α$. The formulas for $σ_α(x)$ when $α\in \mathbb{C}$ is fixed and $x \geq 1$ involves a finite sum over all of the prime factors $n \leq x$ and terms involving the $r$-order harmonic number sequences and the Ramanujan sums $c_d(x)$. The generalized harmonic number sequences correspond to the partial sums of the Riemann zeta function when $r > 1$ and are related to the generalized Bernoulli numbers when $r \leq 0$ is integer-valued. A key part of our new expansions of the Lambert series generating…
We investigate the integer solutions of Diophantine equations related to perfect numbers. These solutions generalize the example, found by Descartes in 1638, of an odd, ``spoof'' perfect factorization $3^2\cdot 7^2\cdot 11^2\cdot 13^2\cdot 22021^1$. More recently, Voight found the spoof perfect factorization $3^4\cdot 7^2\cdot 11^2\cdot 19^2\cdot(-127)^1$. No other examples appear in the literature. We compute all nontrivial, odd, primitive spoof perfect factorizations with fewer than seven bases -- there are twenty-one in total. We show that the structure of odd, spoof perfect factorizations …
In the paper we can prove that every integer can be written as the sum of two integers, one perfect square and one squarefree. We also establish the asympotic formula for the number of representations of an integer in this form. The result is deeply related with the divisor function. In the course of our study we get an independent result about it. Concretely we are able to deduce a new upper bound for the divisor function valid for any integer and fully explicit.
In this paper, we determine all primitive solutions to the equation $(x+r)^2 +(x+2r)^2 +\cdots +(x+dr)^2 = y^n$ for $2\leq d\leq 10$ and for $1\leq r\leq 10^4$. We make use of a factorization argument and the Primitive Divisors Theorem due to Bilu, Hanrot and Voutier.
A unitary divisor $c$ of a positive integer $n$ is a positive divisor of $n$ that is relatively prime to $\displaystyle{\frac{n}{c}}$. For any integer $k$, the function $σ_k^*$ is a multiplicative arithmetic function defined so that $σ_k^*(n)$ is the sum of the $k^{th}$ powers of the unitary divisors of $n$. We provide analogues of the functions $σ_k^*$ in imaginary quadratic rings that are unique factorization domains. We then explore properties of what we call $n$-powerfully unitarily $t$-perfect numbers, analogues of the unitary multiperfect numbers that have been defined and studied in the…
Generalizing the concept of a perfect number is a Zumkeller or integer perfect number that was introduced by Zumkeller in 2003. The positive integer $n$ is a Zumkeller number if its divisors can be partitioned into two sets with the same sum, which will be $σ(n)/2$. Generalizing even further, we call $n$ a $k$-layered number if its divisors can be partitioned into $k$ sets with equal sum. In this paper, we completely characterize Zumkeller numbers with two distinct prime factors and give some bounds for prime factorization in case of Zumkeller numbers with more than two distinct prime factors.…
A number is perfect if it is the sum of its proper divisors; here we call a finite group `perfect' if its order is the sum of the orders of its proper normal subgroups. (This conflicts with standard terminology but confusion should not arise.) The notion of perfect group generalizes that of perfect number, since a cyclic group is perfect exactly when its order is perfect. We show that, in fact, the only abelian perfect groups are the cyclic ones, and exhibit some non-abelian perfect groups of even order.
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$…
Dris conjectured in his masters thesis that the inequality $q^k < n$ always holds, if $N = {q^k}{n^2}$ is an odd perfect number with special prime $q$. In this note, we initially show that either of the two conditions $n < q^k$ or $σ(q)/n < σ(n)/q$ holds. This is achieved by first proving that $σ(q)/n \neq σ(n)/q^k$, where $σ(x)$ is the sum of the divisors of $x$. Using this analysis, we further show that the condition $q < n < q^k$ holds in four out of a total of six cases. Finally, we prove that $n < q^k$, and that this holds unconditionally. This finding disproves both the Dris Conjecture a…
Let $σ(x)$ be the sum of the divisors of $x$. If $N$ is odd and $σ(N) = 2N$, then the 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$. In this note, we show that $q < n$ implies that Descartes's conjecture (previously Sorli's conjecture), $k = ν_{q}(N) = 1$, is not true. This then implies an unconditional proof for the biconditional $$k = ν_{q}(N) = 1 \Longleftrightarrow n < q.$$ Lastly, following a recent result of Cohen and Sorli, we show that if $q < n$, then either $q > 5$ or $k > 5$ i…
Abundancy index refers to the ratio of the sum of the divisors of a number to the number itself. It is a concept of great importance in defining friendly and perfect numbers. Here, we describe a suitable generalization of abundancy index to the ring of Gaussian integers ($\mathbb{Z}[i]$). We first show that this generalization possesses many of the useful properties of the traditional abundancy index in $\mathbb{Z}$. We then investigate $k$-powerful $τ$-perfect numbers and prove results regarding their existence in $\mathbb{Z}[i]$.
In 1927, Artin conjectured that any integer other than -1 or a perfect square generates the multiplicative group $\mathbb{Z}/p\mathbb{Z}^\times$ for infinitely many $p$. In \cite{MoSt}, Moree and Stevenhagen considered a two-variable version of this problem, and proved a positive density result conditionally to the generalized Riemann Hypothesis by adapting a proof by Hooley for the original conjecture (\cite{Ho}). In this article, we prove an unconditional lower bound for this two-variable problem. In particular, we prove an estimate for the number of distinct primes which divide one of the f…
Let Ga be a subgroup of GL_d(Q) generated by a finite symmetric set S. For an integer q, denote by Ga_q the subgroup of Ga consisting of the elements that project to the unit element mod q. We prove that the Cayley graphs of Ga/Ga_q with respect to the generating set S form a family of expanders when q ranges over square-free integers with large prime divisors if and only if the connected component of the Zariski-closure of Ga is perfect.
Let X be a smooth proper variety over a perfect field k of arbitrary characteristic. Let D be an effective divisor on X with multiplicity. We introduce an Albanese variety Alb(X, D) of X of modulus D as a higher dimensional analogon of the generalized Jacobian of Rosenlicht-Serre with modulus for smooth proper curves. Basing on duality of 1-motives with unipotent part (which are introduced here), we obtain explicit and functorial descriptions of these generalized Albanese varieties and their dual functors. We define a relative Chow group of zero cycles w.r.t. the modulus D and show that Alb(X,…
A perfect number is a positive integer $N$ such that the sum of all the positive divisors of $N$ equals $2N$, denoted by $σ(N) = 2N$. The question of the existence of odd perfect numbers (OPNs) is one of the longest unsolved problems of number theory. This thesis presents some of the old as well as new approaches to solving the OPN Problem. In particular, a conjecture predicting an injective and surjective mapping $X = σ(p^k)/p^k, Y = σ(m^2)/m^2$ between OPNs $N = {p^k}{m^2}$ (with Euler factor $p^k$) and rational points on the hyperbolic arc $XY = 2$ with $1 < X < 1.25 < 1.6 < Y < 2$ and $2.8…