DOCSLIB.ORG

Copyrighted Material

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Copyrighted Material bindex.qxd 3/22/05 12:11 PM Page 265 Index φ(n). See Euler’s totient arithmetic progressions, Billingsley, Patrick, (phi) function of primes, 13–14, 201–202 σ (n), 51–54, 210 44–45 Binet, H., 143 π (n), 106, 111, 129, 134, Artin’s conjecture, 38, binomial coefficients, 138–139, 165, 188, 229 Pascal’s triangle and, 183–187, 209 Association for Comput- 165–166 π. See entry listed alpha- ing Machinery, 87–88 binomial theorem, 91 betically in the p Aurifeuille, Léon blue numbers, 210–211 section François Antoine, Bonse’s inequality, 21 14–15 Brennen, Jack, 234 abc conjecture, 6, 17, 236 Aurifeuillian factoriza- Brent, R. P., 96 absolute pseudoprimes, tion, 14–15 Brickell, Ernie, 168–169 24 average prime, 15 Brier numbers, 21–22 abundant numbers, 7–8, Brillhart, John, 96, 169, 40, 49, 170, 171, 235 Babbage, Charles, 19, 204 Adleman, Leonard, 168, 77–78, 140, 238 Brocard’s conjecture, 6, 212–216 Bang’s theorem, 16 22 Agrawal, Manindra, 8–9 Barlow, Peter, 171 Brown, J. L., 217 AKS algorithm for pri- Basel problem, 72–73 Brun, Viggo, 17, 22–23, mality testing, 8–9, 88 Bass, Thomas, 213 123 Alcuin, 170 Bateman, Paul, 156 Brun’s constant, 22–23 aliquot sequences (socia- Bateman’s conjecture, 16 Buss, Frank, 23 ble chains), 9–11, Baxter, Lew, 205 Buss’s function, 23 234, 235 Bays, Carter, 139 almost perfect numbers, Beal, Andrew, 16–17 Caldwell, Chris, 81, 134, 171 Beal’s conjecture, 16–17 189, 204, 262 almost-primes, 11, 217 Beauregard, R. A., 219 Cameron, Michael, 115, American Mathematical Beeger, N. G. W. H., 236 154, 203 Society, 17 Bell, E. T., 83 Carmichael, Robert amicable numbers, 9, Bencze, Mihàly, 103 Daniel, 24, 63, 64, 11–13, 70 Benford, Frank, 18 75–77, 105 analytic number theory, Benford’s law, 17–18 Carmichael numbers, 45 COPYRIGHTEDBen Gerson, Levi, 25 MATERIAL23–24, 92, 116, 121, Anderson, A. E., 189 Bernoulli, Jacob, 72 179, 191, 192; prime Anderson, J. K., 231 Bernoulli numbers, pretenders and, 186; Andrica, Dorin, 13 19–20, 99 smooth numbers and, Andrica’s conjecture, 13 Bertrand, Joseph, 20–21 223; strong pseudo- APR primality test, 213 Bertrand’s postulate, primes and, 193 Arenstorf, R. F., 231, 264 20–21 Carmichael’s totient Arithmetica (Diophan- Bible, references to function conjecture, tus), 42–44 primes in, 11 75 arithmetic mean, of divi- Bicknell-Johnson, Mar- Carmody, Phil, 81, 127, sors, 51 jorie, 102 231 bindex.qxd 3/22/05 12:11 PM Page 266 266 • Index Catalan, Eugène Charles, and, 26–27; factoriza- Cunningham project, 24, 155 tion and, 87 34–35, 135, 264 Catalan’s conjecture, conjectures: defined, 2, cyclic numbers, 37–38 24–25, 100 30–31; errors in, Catalan’s Mersenne con- 63–64, 75–77. See also Dase, Zacharias, 111 jecture, 25 individual names of data encryption standard Cataldi, Pietro Antonio, conjectures (DES), 216 152, 171 consecutive composite Davis, Ken, 81 Champernowne, David, numbers, 67 De Bessy, Frenicle, 26 consecutive integer 70–71 Champernowne’s con- sequence, 32 decimal expansion, of π, stant, 26 consecutive numbers, 32 174–175 champion numbers, 26 consecutive primes, decimals, recurring (peri- Chen, Jing-Run, 218, sums of, 32 odic), 36–40, 188, 229 230 contests, 60, 61, 117, decryption, 193. See also Chinese remainder theo- 149, 214–215; Beal’s public key encryption rem, 26–27 conjecture, 16–17; DeCSS code, 126–127 cicadas, 27 Clay prizes, 28–29; deficient numbers, 7, 40, circle, Gauss’s problem, EFF Cooperative 49, 170, 171, 217 113 Computing Awards, delectable primes, 40 circles, prime, 27 55–56, 115, 153, 203; Deleglise, Marc, 183 circular primes, 28, 174 New RSA Factoring De Méziriac, Bachet, 93 Clay Mathematics Insti- Challenge, 215–216; Demlo numbers, 40–41 tute, 28–29, 47 Riemann zeta func- Descartes, René, 172, Cocks, Clifford, 212 tion, 47 173 Cogitata Physico-Mathe- convenient numbers, descriptive primes, 41 matica (Mersenne), 70–72 Dickson, Leonard 152 Conway, John, 128, 131, Eugene, 41–42 Cohen, Fred, 213 186 Dickson’s conjecture, Cohen, Henri, 10, 176 Conway’s prime-produc- 41–42, 55, 126 Cole, Frank Nelson, 83, ing machine, 33, Difference Engine, 153 107 77–78, 140 composite numbers, 1; Copeland-Erdös con- Diffie, Whitfield, 193 consecutive, 67; stant, 29 Digital Millenium Copy- gaps between Cosgrave, John, 97 right Act (DMCA), primes and, Costello, Pat, 222 127 109–110; highly Course of Pure Mathe- digit properties, 42 composite numbers, matics, A (Hardy), Diophantus, 42–44 199–200 121 Dirichlet, Gustav Peter compositorial, 29 cousin primes, 33–34 Lejeune, 44–45 computers, 2, 178; Cramér, Harald, 148 Dirichlet’s theorem, ENIAC, 135; first Cramér’s conjecture, 44–45 algorithm using, 19; 109 Disquisitiones Arithmeti- used for Mersenne Crandall, Richard, 96 cae (Gauss), 110 primes, 153–155; Creyaufmueller, Wolf- distributed computing, World War II and, gang, 10 13, 45–47 193. See also distrib- “crowd,” 10 distribution of primes, uted computing cryptography. See public Gauss on, 111–112 computer viruses, incep- key encryption divisibility properties, of tion of, 213 Cullen, J., 34 Fibonacci numbers, concatenation of primes, Cullen primes, 34, 240 102–103 29 Cunningham, Allan divisibility tests, 48 congruences: Chinese Joseph, 34, 240 divisor function, d(n), remainder theorem Cunningham chains, 35 49–51 bindex.qxd 3/22/05 12:11 PM Page 267 Index • 267 divisors (factors), 48–54; Euler, Leonhard, 12, 25, ized Fermat num- congruences and, 51; 52–53, 69–79, 95, 117, bers, 97, 190; infi- and partitions, 53; prime 128, 130, 157, 171; nite descent, 90, 98; factors, 54. See also Basel problem and, perfect numbers, aliquot sequences 72; Carmichael’s 172; sums of (sociable chains) totient function con- squares, 92–94. See DNA computer, 213 jecture and, 75–77; also Fermat’s Last Donnelly, Harold, 75 Euler’s constant, 52, Theorem; Fermat’s Dubner, Harvey, 13, 24, 73, 156; Euler’s con- Little Theorem 101, 110, 164–165, venient numbers, Fermat’s Last Theorem, 195, 204–205 70–72; Euler’s qua- 2, 6, 31, 64, 90, Dudley, Underwood, dratic, 77–78, 106, 97–99; Beal’s conjec- 221 140, 196–198, 232; ture and, 16–17; Dusart, Pierre, 185 Euler’s totient (phi) Dirichlet and, 44; Dyson, Freeman, function, 45, 63, 64, Euler on, 70; Fermat- 241–242 70, 74–77, 130, 214, Catalan equation 217, 264; on factoriza- and, 100; Gauss on, Eberhart’s conjecture, tion, 84; on Fermat’s 111; Wieferich 157 Little Theorem, 70, primes, 235 economical numbers, 55 92, 233; Lucky Num- Fermat’s Little Theorem, Edwards, Harold, 209 bers of, 78–79; 8–9, 85, 90–92, Electronic Frontier Foun- Mersenne primes, 178–179; Carmichael dation, 55–56, 115, 152; obstinate num- numbers and, 23–24; 153, 203 bers and, 175; recip- Euler on, 70, 92, 233; elementary proof, of rocals of primes, Fermat quotient, 92; prime number theo- 73–74 Giuga on, 116; Lucas- rem, 182–183 Lehmer test and, 146; Elements (Euclid), 64–66, factorial primes, 29, prime pretender vs., 170 80–81 186; pseudoprimes, elliptic curve method: factorials, 80, 236–237; 190–191; RSA algo- for factorization, 87; factors of, 80; strong rithm and, 214; for proving primality, law of small numbers Wieferich primes and, 56–57 and, 226 235 emirp, 57 factorial sums, 81–82 Fibonacci numbers, 18, Entropia, 115 factorization, methods 99, 101–106, 228; Eratosthenes, sieve of, of, 82–89, 95–97 divisibility properties, 58–59, 84, 147, 178 Farey, John, 209–210 102–103, 150–151; Erdös, Paul, 17, 59–63, Feit-Thompson conjec- Fibonacci composite 75, 98, 168; ture, 89 sequences, 105–106, Copeland-Erdös con- Fermat, Pierre de, 12, 142–144, 167; Lucas stant, 29; elementary 89–100; on factor- and, 104–106, proof by, 183; Erdös ization, 83, 84, 144–145 numbers, 61–62; 85–86; Fermat- Filz, Antonio, 27 Erdös-Kac theorem Catalan conjecture, Findley, Josh, 155, 203, of, 200–202; on good 17, 100; Fermat fac- 264 primes, 119; on odd torization, 95–97; Forbes, Tony, 13, 35, 46, numbers, 176 Fermat numbers, 46, 132, 195 Erdös-Kac theorem, 68, 84, 94–95, 97, Ford, Kevin, 219 200–201, 202 106, 110, 117, 128, formulae for primes, 31, errors, 63–64, 75–77 169, 175, 225, 264; 106–108, 160–161 Euclid, 44–45, 64–69, Fermat pseudo- Fortunate numbers, 170 primes, 190–191; 108–109 Euclidean algorithm, Fermat’s conjecture, Fortune’s conjecture, 68–69 31, 94–95; General- 108–109 bindex.qxd 3/22/05 12:11 PM Page 268 268 • Index Franel, J., 210 good primes, 119 Hilbert’s 10th problem, Franke, Jens, 204 Gostin, G. B., 96 150–151 frugal numbers, 55 Gourdon, Xavier, 183, Hilbert’s 23 problems, Fung, Gilbert, 136 185 28, 107, 124–125, Graham, R. L., 105 150–151 Gage, Paul, 153, 154 Gram, J. P., 207 History of the Theory of Gallot, Yves, 22, 190, Grand Internet Obstinate Numbers (Dickson), 240, 264 Number Search, 176 41–42 gaps between primes, graph, prime number, Hodges, Laurent, 13, 109, 109–110, 139, 180–181 118–119 147, 183, 218–219, greatest common factor Hoggatt, Jr., Vernon, 102 230 (GCD), 68–69 Holey primes, 229 Gardner, Martin, 149, Green, Ben, 14 home prime, 125–126 214–215 Greenwood, Thomas, Honaker, Jr., G. L., 41 Gauss, Johann Carl 228 Hudalricus Regius, 152, Friedrich, 3–4, 45, grid computing, 208 171 65, 110–113, Grimm’s problem, 119 Hudson, Richard, 139 128–130, 183–184, Gutzwiller, M. C., 241 Hurwitz, A., 96, 154, 206; Fermat’s Last Guy, Richard K., 75, 106, 204 Theorem and, 189; 156, 226 hypothesis H, 126, 195 Germain and, 223; on primality testing, Hadamard, Jacques, 129, Iamblichus, 11, 171 177–178; prime num- 134, 182 Ibn al-Banna, 12 ber theorem and, Hajratwala, Nayan, 115, Ibn Khaldun, 11–12 182; quadratic reci- 154 Ibn Qurra, Thabit, 12 procity law, 3, Hardy, G.
Load more

Recommended publications
  • Prime Divisors in the Rationality Condition for Odd Perfect Numbers
    Aid#59330/Preprints/2019-09-10/www.mathjobs.org RFSC 04-01 Revised The Prime Divisors in the Rationality Condition for Odd Perfect Numbers Simon Davis Research Foundation of Southern California 8861 Villa La Jolla Drive #13595 La Jolla, CA 92037 Abstract. It is sufficient to prove that there is an excess of prime factors in the product of repunits with odd prime bases defined by the sum of divisors of the integer N = (4k + 4m+1 ℓ 2αi 1) i=1 qi to establish that there do not exist any odd integers with equality (4k+1)4m+2−1 between σ(N) and 2N. The existence of distinct prime divisors in the repunits 4k , 2α +1 Q q i −1 i , i = 1,...,ℓ, in σ(N) follows from a theorem on the primitive divisors of the Lucas qi−1 sequences and the square root of the product of 2(4k + 1), and the sequence of repunits will not be rational unless the primes are matched. Minimization of the number of prime divisors in σ(N) yields an infinite set of repunits of increasing magnitude or prime equations with no integer solutions. MSC: 11D61, 11K65 Keywords: prime divisors, rationality condition 1. Introduction While even perfect numbers were known to be given by 2p−1(2p − 1), for 2p − 1 prime, the universality of this result led to the the problem of characterizing any other possible types of perfect numbers. It was suggested initially by Descartes that it was not likely that odd integers could be perfect numbers [13]. After the work of de Bessy [3], Euler proved σ(N) that the condition = 2, where σ(N) = d|N d is the sum-of-divisors function, N d integer 4m+1 2α1 2αℓ restricted odd integers to have the form (4kP+ 1) q1 ...qℓ , with 4k + 1, q1,...,qℓ prime [18], and further, that there might exist no set of prime bases such that the perfect number condition was satisfied.
    [Show full text]
  • Number 73 Is the 37Th Odd Number
    73 Seventy-Three LXXIII i ii iii iiiiiiiiii iiiiiiiii iiiiiiii iiiiiii iiiiiiii iiiiiiiii iiiiiiiiii iii ii i Analogous ordinal: seventy-third. The number 73 is the 37th odd number. Note the reversal here. The number 73 is the twenty-first prime number. The number 73 is the fifty-sixth deficient number. The number 73 is in the eighth twin-prime pair 71, 73. This is the last of the twin primes less than 100. No one knows if the list of twin primes ever ends. As a sum of four or fewer squares: 73 = 32 + 82 = 12 + 62 + 62 = 12 + 22 + 22 + 82 = 22 + 22 + 42 + 72 = 42 + 42 + 42 + 52. As a sum of nine or fewer cubes: 73 = 3 13 + 2 23 + 2 33 = 13 + 23 + 43. · · · As a difference of two squares: 73 = 372 362. The number 73 appears in two Pythagorean triples: [48, 55, 73] and [73, 2664, 2665]. Both are primitive, of course. As a sum of three odd primes: 73 = 3 + 3 + 67 = 3 + 11 + 59 = 3 + 17 + 53 = 3 + 23 + 47 = 3 + 29 + 41 = 5 + 7 + 61 = 5 + 31 + 37 = 7 + 7 + 59 = 7 + 13 + 53 = 7 + 19 + 47 = 7 + 23 + 43 = 7 + 29 + 37 = 11 + 19 + 43 = 11 + 31 + 31 = 13 + 13 + 47 = 13 + 17 + 43 = 13 + 19 + 41 = 13 + 23 + 37 = 13 + 29 + 31 = 17 + 19 + 37 = 19 + 23 + 31. The number 73 is the 21st prime number. It’s reversal, 37, is the 12th prime number. Notice that if you strip off the six triangular points from the 73-circle hexagram pictured above, you are left with a hexagon of 37 circles.
    [Show full text]
  • Paul Erdős and the Rise of Statistical Thinking in Elementary Number Theory
    Paul Erd®s and the rise of statistical thinking in elementary number theory Carl Pomerance, Dartmouth College based on the joint survey with Paul Pollack, University of Georgia 1 Let us begin at the beginning: 2 Pythagoras 3 Sum of proper divisors Let s(n) be the sum of the proper divisors of n: For example: s(10) = 1 + 2 + 5 = 8; s(11) = 1; s(12) = 1 + 2 + 3 + 4 + 6 = 16: 4 In modern notation: s(n) = σ(n) − n, where σ(n) is the sum of all of n's natural divisors. The function s(n) was considered by Pythagoras, about 2500 years ago. 5 Pythagoras: noticed that s(6) = 1 + 2 + 3 = 6 (If s(n) = n, we say n is perfect.) And he noticed that s(220) = 284; s(284) = 220: 6 If s(n) = m, s(m) = n, and m 6= n, we say n; m are an amicable pair and that they are amicable numbers. So 220 and 284 are amicable numbers. 7 In 1976, Enrico Bombieri wrote: 8 There are very many old problems in arithmetic whose interest is practically nil, e.g., the existence of odd perfect numbers, problems about the iteration of numerical functions, the existence of innitely many Fermat primes 22n + 1, etc. 9 Sir Fred Hoyle wrote in 1962 that there were two dicult astronomical problems faced by the ancients. One was a good problem, the other was not so good. 10 The good problem: Why do the planets wander through the constellations in the night sky? The not-so-good problem: Why is it that the sun and the moon are the same apparent size? 11 Perfect numbers, amicable numbers, and similar topics were important to the development of elementary number theory.
    [Show full text]
  • Appendix a Tables of Fermat Numbers and Their Prime Factors
    Appendix A Tables of Fermat Numbers and Their Prime Factors The problem of distinguishing prime numbers from composite numbers and of resolving the latter into their prime factors is known to be one of the most important and useful in arithmetic. Carl Friedrich Gauss Disquisitiones arithmeticae, Sec. 329 Fermat Numbers Fo =3, FI =5, F2 =17, F3 =257, F4 =65537, F5 =4294967297, F6 =18446744073709551617, F7 =340282366920938463463374607431768211457, Fs =115792089237316195423570985008687907853 269984665640564039457584007913129639937, Fg =134078079299425970995740249982058461274 793658205923933777235614437217640300735 469768018742981669034276900318581864860 50853753882811946569946433649006084097, FlO =179769313486231590772930519078902473361 797697894230657273430081157732675805500 963132708477322407536021120113879871393 357658789768814416622492847430639474124 377767893424865485276302219601246094119 453082952085005768838150682342462881473 913110540827237163350510684586298239947 245938479716304835356329624224137217. The only known Fermat primes are Fo, ... , F4 • 208 17 lectures on Fermat numbers Completely Factored Composite Fermat Numbers m prime factor year discoverer 5 641 1732 Euler 5 6700417 1732 Euler 6 274177 1855 Clausen 6 67280421310721* 1855 Clausen 7 59649589127497217 1970 Morrison, Brillhart 7 5704689200685129054721 1970 Morrison, Brillhart 8 1238926361552897 1980 Brent, Pollard 8 p**62 1980 Brent, Pollard 9 2424833 1903 Western 9 P49 1990 Lenstra, Lenstra, Jr., Manasse, Pollard 9 p***99 1990 Lenstra, Lenstra, Jr., Manasse, Pollard
    [Show full text]
  • On the First Occurrences of Gaps Between Primes in a Residue Class
    On the First Occurrences of Gaps Between Primes in a Residue Class Alexei Kourbatov JavaScripter.net Redmond, WA 98052 USA [email protected] Marek Wolf Faculty of Mathematics and Natural Sciences Cardinal Stefan Wyszy´nski University Warsaw, PL-01-938 Poland [email protected] To the memory of Professor Thomas R. Nicely (1943–2019) Abstract We study the first occurrences of gaps between primes in the arithmetic progression (P): r, r + q, r + 2q, r + 3q,..., where q and r are coprime integers, q > r 1. ≥ The growth trend and distribution of the first-occurrence gap sizes are similar to those arXiv:2002.02115v4 [math.NT] 20 Oct 2020 of maximal gaps between primes in (P). The histograms of first-occurrence gap sizes, after appropriate rescaling, are well approximated by the Gumbel extreme value dis- tribution. Computations suggest that first-occurrence gaps are much more numerous than maximal gaps: there are O(log2 x) first-occurrence gaps between primes in (P) below x, while the number of maximal gaps is only O(log x). We explore the con- nection between the asymptotic density of gaps of a given size and the corresponding generalization of Brun’s constant. For the first occurrence of gap d in (P), we expect the end-of-gap prime p √d exp( d/ϕ(q)) infinitely often. Finally, we study the gap ≍ size as a function of its index in thep sequence of first-occurrence gaps. 1 1 Introduction Let pn be the n-th prime number, and consider the difference between successive primes, called a prime gap: pn+1 pn.
    [Show full text]
  • Sequences of Primes Obtained by the Method of Concatenation
    SEQUENCES OF PRIMES OBTAINED BY THE METHOD OF CONCATENATION (COLLECTED PAPERS) Copyright 2016 by Marius Coman Education Publishing 1313 Chesapeake Avenue Columbus, Ohio 43212 USA Tel. (614) 485-0721 Peer-Reviewers: Dr. A. A. Salama, Faculty of Science, Port Said University, Egypt. Said Broumi, Univ. of Hassan II Mohammedia, Casablanca, Morocco. Pabitra Kumar Maji, Math Department, K. N. University, WB, India. S. A. Albolwi, King Abdulaziz Univ., Jeddah, Saudi Arabia. Mohamed Eisa, Dept. of Computer Science, Port Said Univ., Egypt. EAN: 9781599734668 ISBN: 978-1-59973-466-8 1 INTRODUCTION The definition of “concatenation” in mathematics is, according to Wikipedia, “the joining of two numbers by their numerals. That is, the concatenation of 69 and 420 is 69420”. Though the method of concatenation is widely considered as a part of so called “recreational mathematics”, in fact this method can often lead to very “serious” results, and even more than that, to really amazing results. This is the purpose of this book: to show that this method, unfairly neglected, can be a powerful tool in number theory. In particular, as revealed by the title, I used the method of concatenation in this book to obtain possible infinite sequences of primes. Part One of this book, “Primes in Smarandache concatenated sequences and Smarandache-Coman sequences”, contains 12 papers on various sequences of primes that are distinguished among the terms of the well known Smarandache concatenated sequences (as, for instance, the prime terms in Smarandache concatenated odd
    [Show full text]
  • Cullen Numbers with the Lehmer Property
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000–000 S 0002-9939(XX)0000-0 CULLEN NUMBERS WITH THE LEHMER PROPERTY JOSE´ MAR´IA GRAU RIBAS AND FLORIAN LUCA Abstract. Here, we show that there is no positive integer n such that n the nth Cullen number Cn = n2 + 1 has the property that it is com- posite but φ(Cn) | Cn − 1. 1. Introduction n A Cullen number is a number of the form Cn = n2 + 1 for some n ≥ 1. They attracted attention of researchers since it seems that it is hard to find primes of this form. Indeed, Hooley [8] showed that for most n the number Cn is composite. For more about testing Cn for primality, see [3] and [6]. For an integer a > 1, a pseudoprime to base a is a compositive positive integer m such that am ≡ a (mod m). Pseudoprime Cullen numbers have also been studied. For example, in [12] it is shown that for most n, Cn is not a base a-pseudoprime. Some computer searchers up to several millions did not turn up any pseudo-prime Cn to any base. Thus, it would seem that Cullen numbers which are pseudoprimes are very scarce. A Carmichael number is a positive integer m which is a base a pseudoprime for any a. A composite integer m is called a Lehmer number if φ(m) | m − 1, where φ(m) is the Euler function of m. Lehmer numbers are Carmichael numbers; hence, pseudoprimes in every base. No Lehmer number is known, although it is known that there are no Lehmer numbers in certain sequences, such as the Fibonacci sequence (see [9]), or the sequence of repunits in base g for any g ∈ [2, 1000] (see [4]).
    [Show full text]
  • Ramanujan, Robin, Highly Composite Numbers, and the Riemann Hypothesis
    Contemporary Mathematics Volume 627, 2014 http://dx.doi.org/10.1090/conm/627/12539 Ramanujan, Robin, highly composite numbers, and the Riemann Hypothesis Jean-Louis Nicolas and Jonathan Sondow Abstract. We provide an historical account of equivalent conditions for the Riemann Hypothesis arising from the work of Ramanujan and, later, Guy Robin on generalized highly composite numbers. The first part of the paper is on the mathematical background of our subject. The second part is on its history, which includes several surprises. 1. Mathematical Background Definition. The sum-of-divisors function σ is defined by 1 σ(n):= d = n . d d|n d|n In 1913, Gr¨onwall found the maximal order of σ. Gr¨onwall’s Theorem [8]. The function σ(n) G(n):= (n>1) n log log n satisfies lim sup G(n)=eγ =1.78107 ... , n→∞ where 1 1 γ := lim 1+ + ···+ − log n =0.57721 ... n→∞ 2 n is the Euler-Mascheroni constant. Gr¨onwall’s proof uses: Mertens’s Theorem [10]. If p denotes a prime, then − 1 1 1 lim 1 − = eγ . x→∞ log x p p≤x 2010 Mathematics Subject Classification. Primary 01A60, 11M26, 11A25. Key words and phrases. Riemann Hypothesis, Ramanujan’s Theorem, Robin’s Theorem, sum-of-divisors function, highly composite number, superabundant, colossally abundant, Euler phi function. ©2014 American Mathematical Society 145 This is a free offprint provided to the author by the publisher. Copyright restrictions may apply. 146 JEAN-LOUIS NICOLAS AND JONATHAN SONDOW Figure 1. Thomas Hakon GRONWALL¨ (1877–1932) Figure 2. Franz MERTENS (1840–1927) Nowwecometo: Ramanujan’s Theorem [2, 15, 16].
    [Show full text]
  • Sums of Divisors, Perfect Numbers and Factoring*
    J. COMPUT. 1986 Society for and Applied Mathematics No. 4, November 1986 02 SUMS OF DIVISORS, PERFECT NUMBERS AND FACTORING* ERIC GARY MILLER5 AND JEFFREY Abstract. Let N be a positive integer, and let denote the sum of the divisors of N = 1+2 +3+6 = 12). We show computing is equivalent to factoring N in the following sense: there is a random polynomial time algorithm that, given N),produces the prime factorization of N, and N) can be computed in polynomial time given the factorization of N. We show that the same result holds for the sum of the kth powers of divisors of We give three new examples of problems that are in Gill’s complexity class BPP perfect numbers, multiply perfect numbers, and amicable pairs. These are the first “natural” sets in BPP that are not obviously in RP. Key words. factoring, sum of divisors, perfect numbers, random reduction, multiply perfect numbers, amicable pairs subject classifications. 1. Introduction. Integer factoring is a well-known difficult problem whose precise computational complexity is still unknown. Several investigators have found algorithms that are much better than the classical method of trial division (see [Guy [Pol], [Dix], [Len]). We are interested in the relationship of factoring to other functions in number theory. It is trivial to show that classical functions like (the number of positive integers less than N and relatively prime to N) can be computed in polynomial time if one can factor N; hence computing is “easier” than factoring. One would also like to find functions “harder” than factoring.
    [Show full text]
  • POWERFUL AMICABLE NUMBERS 1. Introduction Let S(N) := ∑ D Be the Sum of the Proper Divisors of the Natural Number N. Two Disti
    POWERFUL AMICABLE NUMBERS PAUL POLLACK P Abstract. Let s(n) := djn; d<n d denote the sum of the proper di- visors of the natural number n. Two distinct positive integers n and m are said to form an amicable pair if s(n) = m and s(m) = n; in this case, both n and m are called amicable numbers. The first example of an amicable pair, known already to the ancients, is f220; 284g. We do not know if there are infinitely many amicable pairs. In the opposite direction, Erd}osshowed in 1955 that the set of amicable numbers has asymptotic density zero. Let ` ≥ 1. A natural number n is said to be `-full (or `-powerful) if p` divides n whenever the prime p divides n. As shown by Erd}osand 1=` Szekeres in 1935, the number of `-full n ≤ x is asymptotically c`x , as x ! 1. Here c` is a positive constant depending on `. We show that for each fixed `, the set of amicable `-full numbers has relative density zero within the set of `-full numbers. 1. Introduction P Let s(n) := djn; d<n d be the sum of the proper divisors of the natural number n. Two distinct natural numbers n and m are said to form an ami- cable pair if s(n) = m and s(m) = n; in this case, both n and m are called amicable numbers. The first amicable pair, 220 and 284, was known already to the Pythagorean school. Despite their long history, we still know very little about such pairs.
    [Show full text]
  • ON the PRIMALITY of N! ± 1 and 2 × 3 × 5 ×···× P
    MATHEMATICS OF COMPUTATION Volume 71, Number 237, Pages 441{448 S 0025-5718(01)01315-1 Article electronically published on May 11, 2001 ON THE PRIMALITY OF n! 1 AND 2 × 3 × 5 ×···×p 1 CHRIS K. CALDWELL AND YVES GALLOT Abstract. For each prime p,letp# be the product of the primes less than or equal to p. We have greatly extended the range for which the primality of n! 1andp# 1 are known and have found two new primes of the first form (6380! + 1; 6917! − 1) and one of the second (42209# + 1). We supply heuristic estimates on the expected number of such primes and compare these estimates to the number actually found. 1. Introduction For each prime p,letp# be the product of the primes less than or equal to p. About 350 BC Euclid proved that there are infinitely many primes by first assuming they are only finitely many, say 2; 3;:::;p, and then considering the factorization of p#+1: Since then amateurs have expected many (if not all) of the values of p# 1 and n! 1 to be prime. Careful checks over the last half-century have turned up relatively few such primes [5, 7, 13, 14, 19, 25, 32, 33]. Using a program written by the second author, we greatly extended the previous search limits [8] from n ≤ 4580 for n! 1ton ≤ 10000, and from p ≤ 35000 for p# 1top ≤ 120000. This search took over a year of CPU time and has yielded three new primes: 6380!+1, 6917!−1 and 42209# + 1.
    [Show full text]
  • Sum of Divisors of the Primorial and Sum of Squarefree Parts
    International Mathematical Forum, Vol. 12, 2017, no. 7, 331 - 338 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/imf.2017.7113 Two Topics in Number Theory: Sum of Divisors of the Primorial and Sum of Squarefree Parts Rafael Jakimczuk Divisi´onMatem´atica,Universidad Nacional de Luj´an Buenos Aires, Argentina Copyright c 2017 Rafael Jakimczuk. This article is distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduc- tion in any medium, provided the original work is properly cited. Abstract Let pn be the n-th prime and σ(n) the sum of the positive divisors of n. Let us consider the primorial Pn = p1:p2 : : : pn, the sum of its Qn positive divisors is σ(Pn) = i=1(1 + pi). In the first section we prove the following asymptotic formula n 6 σ(P ) = Y(1 + p ) = eγ P log p + O (P ) : n i π2 n n n i=1 Let a(k) be the squarefree part of k, in the second section we prove the formula π2 X a(k) = x2 + o(x2): 30 1≤k≤x We also study integers with restricted squarefree parts and generalize these results to s-th free parts. Mathematics Subject Classification: 11A99, 11B99 Keywords: Primorial, divisors, squarefree parts, s-th free parts, average of arithmetical functions 332 Rafael Jakimczuk 1 Sum of Divisors of the Primorial In this section p denotes a positive prime and pn denotes the n-th prime. The following Mertens's formulae are well-known (see [5, Chapter VI]) 1 1 ! X = log log x + M + O ; (1) p≤x p log x where M is called Mertens's constant.
    [Show full text]