Showing 1–22 of 22 results for author: Dris, J A B

A new approach to odd perfect numbers via GCDs

Authors: Jose Arnaldo Bebita Dris

Abstract: Let $q^k n^2$ be an odd perfect number with special prime $q$. Define the GCDs $$G = \gcd\bigg(σ(q^k),σ(n^2)\bigg)$$ $$H = \gcd\bigg(n^2,σ(n^2)\bigg)$$ and $$I = \gcd\bigg(n,σ(n^2)\bigg).$$ We prove that $G \times H = I^2$. (Note that it is trivial to show that $G \mid I$ and $I \mid H$ both hold.) We then compute expressions for $G, H,$ and $I$ in terms of $σ(q^k)/2, n,$ and… ▽ More Let $q^k n^2$ be an odd perfect number with special prime $q$. Define the GCDs $$G = \gcd\bigg(σ(q^k),σ(n^2)\bigg)$$ $$H = \gcd\bigg(n^2,σ(n^2)\bigg)$$ and $$I = \gcd\bigg(n,σ(n^2)\bigg).$$ We prove that $G \times H = I^2$. (Note that it is trivial to show that $G \mid I$ and $I \mid H$ both hold.) We then compute expressions for $G, H,$ and $I$ in terms of $σ(q^k)/2, n,$ and $\gcd\bigg(σ(q^k)/2,n\bigg)$. Afterwards, we prove that if $G = H = I$, then $σ(q^k)/2$ is not squarefree. Other natural and related results are derived further. Lastly, we conjecture that the set $$\mathscr{A} = \{m : \gcd(m,σ(m^2))=\gcd(m^2,σ(m^2))\}$$ has asymptotic density zero. △ Less

Submitted 10 February, 2022; originally announced February 2022.

Comments: 9 pages

MSC Class: 11A05 (Primary) 11A25 (Secondary)

Journal ref: Octogon Mathematical Magazine, Vol. 30 No. 2, October 2022, pp. 883 to 895 (ISSN 1222-5657)

On the quantity $m^2-p^k$ where $p^k m^2$ is an odd perfect number -- Part II

Authors: Jose Arnaldo Bebita Dris, Immanuel Tobias San Diego

Abstract: Let $p^k m^2$ be an odd perfect number with special prime $p$. Extending previous work of the authors, we prove that the inequality $m < p^k$ follows from $m^2 - p^k = 2^r t$, where $r \geq 2$ and $\gcd(2,t)=1$, under the following hypotheses: (a) $m > t > 2^r$, or (b) $m > 2^r > t$. We also prove that the estimate $m^2 - p^k > 2m$ holds. We can also improve this unconditional estimate to… ▽ More Let $p^k m^2$ be an odd perfect number with special prime $p$. Extending previous work of the authors, we prove that the inequality $m < p^k$ follows from $m^2 - p^k = 2^r t$, where $r \geq 2$ and $\gcd(2,t)=1$, under the following hypotheses: (a) $m > t > 2^r$, or (b) $m > 2^r > t$. We also prove that the estimate $m^2 - p^k > 2m$ holds. We can also improve this unconditional estimate to $m^2 - p^k > {313m^2}/315$. △ Less

Submitted 7 September, 2022; v1 submitted 20 September, 2021; originally announced September 2021.

Comments: 10 pages

MSC Class: 11A05; 11A25

Journal ref: Octogon Mathematical Magazine, Vol. 30 No. 2, October 2022, pp. 932 to 944 (ISSN 1222-5657)

On the quantity $I(q^k) + I(n^2)$ where $q^k n^2$ is an odd perfect number -- Part II

Authors: Keneth Adrian Precillas Dagal, Jose Arnaldo Bebita Dris

Abstract: In this note, we continue an approach pursued in an earlier paper of the second author and thereby attempt to produce an improved lower bound for the sum $I(q^k) + I(n^2)$, where $q^k n^2$ is an odd perfect number with special prime $q$ and $I(x)$ is the abundancy index of the positive integer $x$. In particular, this yields an upper bound for $k$. In this note, we continue an approach pursued in an earlier paper of the second author and thereby attempt to produce an improved lower bound for the sum $I(q^k) + I(n^2)$, where $q^k n^2$ is an odd perfect number with special prime $q$ and $I(x)$ is the abundancy index of the positive integer $x$. In particular, this yields an upper bound for $k$. △ Less

Submitted 16 September, 2021; v1 submitted 4 August, 2021; originally announced August 2021.

Comments: 16 pages (streamlined version, corrected a typo in Theorem 5)

MSC Class: 11A05; 11A25

Journal ref: Octogon Mathematical Magazine, Vol. 30 No. 1, April 2022, pp. 30--47 (ISSN 1222-5657)

Some Modular Considerations Regarding Odd Perfect Numbers

Authors: Jose Arnaldo Bebita Dris, Immanuel Tobias San Diego

Abstract: Let $p^k m^2$ be an odd perfect number with special prime $p$. In this article, we provide an alternative proof for the biconditional that $σ(m^2) \equiv 1 \pmod 4$ holds if and only if $p \equiv k \pmod 8$. We then give an application of this result to the case when $σ(m^2)/p^k$ is a square. Let $p^k m^2$ be an odd perfect number with special prime $p$. In this article, we provide an alternative proof for the biconditional that $σ(m^2) \equiv 1 \pmod 4$ holds if and only if $p \equiv k \pmod 8$. We then give an application of this result to the case when $σ(m^2)/p^k$ is a square. △ Less

Submitted 26 February, 2020; originally announced February 2020.

Comments: 6 pages, submitted to Notes on Number Theory and Discrete Mathematics

MSC Class: 11A05; 11A25

Journal ref: Notes on Number Theory and Discrete Mathematics, Vol. 26, No. 2 , pp. 27-33 (2020)

On the Existence of Odd Perfect Numbers

Authors: Jose Arnaldo Bebita Dris

Abstract: In this paper, we prove the conjecture that if there is an odd perfect number, then there are infinitely many of them. In this paper, we prove the conjecture that if there is an odd perfect number, then there are infinitely many of them. △ Less

Submitted 8 February, 2022; v1 submitted 8 February, 2020; originally announced February 2020.

Comments: As pointed out by Jan-Christoph Schlage-Puchta via MO: "This only shows that there is no trivial, i.e. purely analytic, argument proving that this expression is unbounded. But there might be only finitely many odd perfect numbers, or there might be some relation between n and q, which implies that the ratio is bounded."

MSC Class: 11A05; 11A25

Analysis of the Ratio $D(n)/n$

Authors: Jose Arnaldo B. Dris

Abstract: In this note, we investigate properties of the ratio $D(n)/n$, which we will call the deficiency index. We will discuss some concepts recast in the language of the deficiency index, based on similar considerations in terms of the abundancy index. In this note, we investigate properties of the ratio $D(n)/n$, which we will call the deficiency index. We will discuss some concepts recast in the language of the deficiency index, based on similar considerations in terms of the abundancy index. △ Less

Submitted 24 March, 2017; originally announced March 2017.

Comments: 6 pages

MSC Class: 11A25 (Primary)

Conditions Equivalent to the Descartes-Frenicle-Sorli Conjecture on Odd Perfect Numbers

Authors: Jose Arnaldo B. Dris

Abstract: 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. 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. △ Less

Submitted 29 December, 2016; v1 submitted 24 September, 2016; originally announced October 2016.

Comments: 9 pages. arXiv admin note: text overlap with arXiv:1309.0906

MSC Class: 11A25 (Primary)

Journal ref: Notes on Number Theory and Discrete Mathematics, Vol. 23, No. 2 , pp. 12-20 (2017)

Some New Results On Even Almost Perfect Numbers Which Are Not Powers Of Two

Authors: John Rafael M. Antalan, Jose Arnaldo B. Dris

Abstract: 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. 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. △ Less

Submitted 5 February, 2017; v1 submitted 7 February, 2016; originally announced February 2016.

Comments: 7 pages

MSC Class: 11A25

The Non-Euler Part of a Spoof Odd Perfect Number is Not Almost Perfect

Authors: Jose Arnaldo B. Dris

Abstract: 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 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. △ Less

Submitted 25 August, 2017; v1 submitted 7 March, 2015; originally announced March 2015.

Comments: 9 pages

MSC Class: 11A05 (Primary); 11J25; 11J99 (Secondary)

Journal ref: (co-authored with Doli-Jane T. Lugatiman) Indian Journal in Number Theory, Vol. 2018 (2018), pp. 6--12

On the Descartes-Frenicle-Sorli and Dris Conjectures Regarding Odd Perfect Numbers

Authors: Keneth Adrian Precillas Dagal, Jose Arnaldo Bebita Dris

Abstract: 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 s… ▽ More 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 and the Descartes-Frenicle-Sorli Conjecture that $k = 1$. △ Less

Submitted 14 November, 2020; v1 submitted 29 November, 2013; originally announced December 2013.

Comments: 8 pages (Change in authorship: Added Keneth Adrian Precillas Dagal.)

MSC Class: 11A05; 11A25

A Sufficient Condition for Disproving Descartes's Conjecture on Odd Perfect Numbers

Authors: Jose Arnaldo B. Dris

Abstract: 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 u… ▽ More 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$ is true. (Note: This is withdrawn for now because this paper is currently a work in progress.) △ Less

Submitted 8 February, 2022; v1 submitted 10 November, 2013; originally announced November 2013.

Comments: This paper has been withdrawn due to a crucial logical error in Theorem 2.2. It is currently a work in progress, albeit researched in a different direction

MSC Class: 11A05 (Primary); 11J25; 11J99 (Secondary)

Euclid-Euler Heuristics for Perfect Numbers

Authors: Jose Arnaldo B. Dris

Abstract: 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 unde… ▽ More 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. △ Less

Submitted 24 August, 2017; v1 submitted 13 October, 2013; originally announced October 2013.

Comments: 9 pages

MSC Class: 11A05 (Primary); 11J25; 11J99 (Secondary)

On a Curious Biconditional Involving Divisors of Odd Perfect Numbers

Authors: Jose Arnaldo B. Dris

Abstract: 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. 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. △ Less

Submitted 25 August, 2017; v1 submitted 3 September, 2013; originally announced September 2013.

Comments: 10 pages - A previous version of this paper was titled "The Abundancy Index of Divisors of Odd Perfect Numbers - Part II", which was co-authored with Keneth Adrian P. Dagal. The present paper supersedes all previous versions

MSC Class: 11A25

Journal ref: Notes on Number Theory and Discrete Mathematics, Vol. 23, No. 4 , pp. 1-13 (2017)

A Criterion for Deficient Numbers Using the Abundancy Index and Deficiency Functions

Authors: Jose Arnaldo B. Dris

Abstract: 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$. 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$. △ Less

Submitted 7 October, 2016; v1 submitted 14 August, 2013; originally announced August 2013.

Comments: 7 pages (Changed authorship: Removed Keneth Adrian P. Dagal)

MSC Class: 11A25 (Primary)

Journal ref: Journal for Algebra and Number Theory Academia, Volume 8, Issue 1, February 2018, Pages 1-9

A short proof for the Descartes-Frenicle-Sorli conjecture on odd perfect numbers

Authors: Jose Arnaldo B. Dris

Abstract: 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. 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. △ Less

Submitted 8 February, 2022; v1 submitted 16 July, 2013; originally announced August 2013.

Comments: This paper has been withdrawn by the author due to a crucial logical error in Lemma 2. This paper is currently a work in progress

MSC Class: Primary 11A05; Secondary 11J25; 11J99

New Results for Sorli's Conjecture on Odd Perfect Numbers - Part II

Authors: Jose Arnaldo B. Dris

Abstract: If $N={q^k}{n^2}$ is an odd perfect number given in Eulerian form, then Sorli's conjecture predicts that $k=ν_{q}(N)=1$. In this article, we give some further results related to this conjecture and those contained in the papers \cite{Dris} and \cite{Dris2}. (withdrawn because of a crucial gap in Theorem 1 [see https://arxiv.boxedpaper.com/pdf/1309.0906.pdf for what is currently provable in this regard], as… ▽ More If $N={q^k}{n^2}$ is an odd perfect number given in Eulerian form, then Sorli's conjecture predicts that $k=ν_{q}(N)=1$. In this article, we give some further results related to this conjecture and those contained in the papers \cite{Dris} and \cite{Dris2}. (withdrawn because of a crucial gap in Theorem 1 [see https://arxiv.boxedpaper.com/pdf/1309.0906.pdf for what is currently provable in this regard], as well as elementary mistakes in the numerical bounds from pages 2 to 4) △ Less

Submitted 11 August, 2017; v1 submitted 10 March, 2013; originally announced March 2013.

Comments: This has been withdrawn because of a crucial gap in Theorem 1 [see arXiv:1309.0906 for what is currently provable in this regard], as well as elementary mistakes in the numerical bounds from pages 2 to 4

MSC Class: 11A05 (Primary) 11J25; 11J99 (Secondary)

New Results for the Descartes-Frenicle-Sorli Conjecture on Odd Perfect Numbers

Authors: Jose Arnaldo B. Dris

Abstract: 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 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$. △ Less

Submitted 29 June, 2016; v1 submitted 24 February, 2013; originally announced February 2013.

Comments: 17 pages

MSC Class: 11A05 (Primary); 11J25; 11J99 (Secondary)

Journal ref: Journal for Algebra and Number Theory Academia, Volume 6, Issue 3, December 2016, Pages 95-114

On the Components of an Odd Perfect Number

Authors: Jose Arnaldo B. Dris

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{σ(p^k)}{p^k}$ and $\frac{σ(m^2)}{m^2}$, and the ratios $\frac{σ(p^k)}{m^2}$ and $\frac{σ(m^2)}{p^k}$, are used. It is also showed that $m^2 > \frac{\sqrt{6}}{2}({10}^{150})$. 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{σ(p^k)}{p^k}$ and $\frac{σ(m^2)}{m^2}$, and the ratios $\frac{σ(p^k)}{m^2}$ and $\frac{σ(m^2)}{p^k}$, are used. It is also showed that $m^2 > \frac{\sqrt{6}}{2}({10}^{150})$. △ Less

Submitted 14 June, 2012; originally announced June 2012.

Comments: 3 pages, Electronic Proceedings of the 9th Science and Technology Congress, De La Salle University, Manila, Philippines, July 4, 2007

MSC Class: 11A05 (Primary); 11J25; 11J99 (Secondary)

Solving the Odd Perfect Number Problem: Some New Approaches

Authors: Jose Arnaldo B. Dris

Abstract: A conjecture predicting an injective and surjective mapping $X = \displaystyle\frac{σ(p^k)}{p^k}, Y = \displaystyle\frac{σ(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.85 < X + Y < 3$, is disproved. We will show that if an OPN $N$ has the form above, then $p^k < {2/3}{m^2}$. We then g… ▽ More A conjecture predicting an injective and surjective mapping $X = \displaystyle\frac{σ(p^k)}{p^k}, Y = \displaystyle\frac{σ(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.85 < X + Y < 3$, is disproved. We will show that if an OPN $N$ has the form above, then $p^k < {2/3}{m^2}$. We then give a somewhat weaker corollary to this last result ($m^2 - p^k \ge 8$) and give possible improvements along these lines. We will also attempt to prove a conjectured improvement to $p^k < m$ by observing that $\displaystyle\frac{σ(p^k)}{m} \ne 1$ and $\displaystyle\frac{σ(p^k)}{m} \ne \displaystyle\frac{σ(m)}{p^k}$ in all cases. Lastly, we also prove the following generalization: If $N = \displaystyle\prod_{i = 1}^{r}{{p_i}^{α_i}}$ is the canonical factorization of an OPN $N$, then $\displaystyleσ({p_i}^{α_i}) \le \displaystyle(2/3)\displaystyle\frac{N}{{p_i}^{α_i}}$ for all $i$. This gives rise to the inequality $N^{2 - r} \le (1/3){(2/3)}^{r - 1}$, which is true for all $r$, where $r = ω(N)$ is the number of distinct prime factors of $N$. △ Less

Submitted 15 October, 2013; v1 submitted 25 April, 2012; originally announced June 2012.

Comments: 3 pages, Electronic Proceedings of the 11th Science and Technology Congress, De La Salle University, Manila, Philippines, Sept. 22, 2009

MSC Class: 11A05 (Primary) 11J25; 11J99 (Secondary)

Solving the Odd Perfect Number Problem: Some Old and New Approaches

Authors: Jose Arnaldo B. Dris

Abstract: 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 s… ▽ More 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.85 < X + Y < 3$, is disproved. Various results on the abundancy index and solitary numbers are used in the disproof. Numerical evidence against the said conjecture will likewise be discussed. We will show that if an OPN $N$ has the form above, then $p^k < (2/3){m^2}$ follows from \cite{D10}. We will also attempt to prove a conjectured improvement of this last result to $p^k < m$ by observing that $σ(p^k)/m \neq 1$ and $σ(p^k)/m \neq σ(m)/p^k$ in all cases. Lastly, we also prove the following generalization: If $N = \displaystyle\prod_{i=1}^r {{p_i}^{α_i}}$ is the canonical factorization of an OPN $N$, then $$σ({p_i}^{α_i}) \leq (2/3){\frac{N}{{p_i}^{α_i}}}$$ for all $i$. This gives rise to the inequality $$N^{2 - r} \leq (1/3)(2/3)^{r - 1}$$ which is true for all $r$, where $r = ω(N)$ is the number of distinct prime factors of $N$. △ Less

Submitted 2 July, 2014; v1 submitted 6 April, 2012; originally announced April 2012.

Comments: 134 pages

MSC Class: 11A05 (Primary) 11J25; 11J99 (Secondary)

A note on odd perfect numbers

Authors: Jose Arnaldo B. Dris, Florian Luca

Abstract: 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$. 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$. △ Less

Submitted 23 August, 2016; v1 submitted 7 March, 2011; originally announced March 2011.

Comments: 5 pages, to appear in The Fibonacci Quarterly

MSC Class: 11A05 (Primary); 11J25; 11J99 (Secondary)

Journal ref: Fibonacci Quart. 54, 2016, no. 4, pp 291 to 295

The Abundancy Index of Divisors of Odd Perfect Numbers

Authors: Jose Arnaldo B. Dris

Abstract: 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$. 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$. △ Less

Submitted 3 August, 2012; v1 submitted 5 March, 2011; originally announced March 2011.

Comments: 10 pages

MSC Class: 11A05 (Primary) 11J25; 11J99 (Secondary)

Journal ref: Journal of Integer Sequences, Vol. 15 (2012), Article 12.4.4 - Available online at <https://cs.uwaterloo.ca/journals/JIS/VOL15/Dris/dris8.html>