John Lewis Selfridge (17 de febrero de 1927 - 31 de octubre de 2010 [1] ), fue un matemático estadounidense que contribuyó a los campos de la teoría analítica de números , la teoría computacional de números y la combinatoria .
Educación
Selfridge recibió su doctorado. en 1958 de la Universidad de California, Los Ángeles, bajo la supervisión de Theodore Motzkin . [2]
Carrera
Selfridge trabajó en las facultades de la Universidad de Illinois en Urbana-Champaign y la Universidad del Norte de Illinois (NIU) de 1971 a 1991 (jubilación), y presidió el Departamento de Ciencias Matemáticas de NIU de 1972 a 1976 y de 1986 a 1990. Fue editor ejecutivo de Mathematical Reviews de 1978 a 1986, supervisando la informatización de sus operaciones. [3] Fue uno de los fundadores de la Fundación de Teoría de Números , [4] que ha nombrado su premio Selfridge en su honor.
Investigación
En 1962 demostró que 78.557 es un número de Sierpinski ; demostró que, cuando k = 78,557, todos los números de la forma k 2 n + 1 tienen un factor en el conjunto de cobertura {3, 5, 7, 13, 19, 37, 73}. Cinco años más tarde, él y Sierpiński conjeturaron que 78.557 es el número de Sierpinski más pequeño y, por tanto, la respuesta al problema de Sierpinski. Un proyecto de computación distribuida, Seventeen or Bust , está dedicado a encontrar una prueba computacional de esta afirmación.
En 1964, Selfridge y Alexander Hurwitz demostraron que el número 14 de Fermat era compuesto. [5]
Sin embargo, su prueba no proporcionó ningún factor. No fue hasta 2010 que se encontró el primer factor del 14º número de Fermat. [6] [7]![{\displaystyle 2^{2^{14}}+1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En 1975, John Brillhart , Derrick Henry Lehmer y Selfridge desarrollaron un método para demostrar la primalidad de p dadas sólo factorizaciones parciales de p − 1 y p + 1. [8]
Junto con Samuel Wagstaff , también participaron en el proyecto Cunningham .
Junto con Paul Erdős , Selfridge resolvió un problema de 150 años, demostrando que el producto de números consecutivos nunca es una potencia. [9] Les llevó muchos años encontrar la prueba, y John hizo un uso extensivo de las computadoras, pero la versión final de la prueba requiere sólo una cantidad modesta de cálculo, es decir, evaluar una función f(n) fácilmente calculable para 30.000 valores consecutivos. de n . Selfridge sufrió un bloqueo del escritor y agradeció a "RB Eggleton por reorganizar y escribir el artículo en su forma final". [9]
Selfridge también desarrolló el procedimiento discreto Selfridge-Conway para crear un corte de pastel sin envidia entre tres personas. Selfridge desarrolló esto en 1960, y John Conway lo descubrió de forma independiente en 1993. Ninguno de los dos publicó el resultado, pero Richard Guy le contó a muchas personas la solución de Selfridge en la década de 1960, y finalmente se les atribuyó a los dos en varios libros. y artículos. [10]
La conjetura de Selfridge sobre los números de Fermat
Selfridge hizo la siguiente conjetura sobre los números de Fermat F n = 2 2 n + 1 . Sea g ( n ) el número de factores primos distintos de Fn ( secuencia A046052 en la OEIS ). En cuanto a 2024, g ( n ) se conoce sólo hasta n = 11 y es monótono. Selfridge conjeturó que, contrariamente a las apariencias, g ( n ) no es monótono. En apoyo de su conjetura, demostró que una condición suficiente (pero no necesaria) para su verdad es la existencia de otro primo de Fermat más allá de los cinco conocidos (3, 5, 17, 257, 65537). [11]
La conjetura de Selfridge sobre las pruebas de primalidad
Esta conjetura también se llama conjetura PSW, en honor a Selfridge, Carl Pomerance y Samuel Wagstaff .
Sea p un número impar, con p ≡ ± 2 (mod 5). Selfridge conjeturó que si
- 2 p −1 ≡ 1 (mod p ) y al mismo tiempo
- f p +1 ≡ 0 (mod p ),
donde f k es el késimo número de Fibonacci , entonces p es un número primo, y ofreció 500 dólares como ejemplo para refutar esto. También ofreció 20 dólares por una prueba de que la conjetura era cierta. La Fundación de Teoría de Números cubrirá ahora este premio. En realidad, un ejemplo le generará $620 porque Samuel Wagstaff ofrece $100 por un ejemplo o una prueba, y Carl Pomerance ofrece $20 por un ejemplo y $500 por una prueba. Selfridge requiere que se proporcione una factorización, pero Pomerance no. La prueba relacionada de que f p −1 ≡ 0 (mod p ) para p ≡ ±1 (mod 5) es falsa y tiene, por ejemplo, un contraejemplo de 6 dígitos. [12] [13] El contraejemplo más pequeño para +1 (mod 5) es 6601 = 7 × 23 × 41 y el más pequeño para −1 (mod 5) es 30889 = 17 × 23 × 79. Debe saberse que una heurística por Pomerance puede demostrar que esta conjetura es falsa (y por lo tanto, debería existir un contraejemplo).
Ver también
Referencias
- ^ ab "John Selfridge (1927-2010)". Crónica diaria de DeKalb . 11 de noviembre de 2010 . Consultado el 13 de noviembre de 2010 .
- ^ John Selfridge en el Proyecto de genealogía de matemáticas
- ^ "Acrobacias chinas, una cervecería de antaño y la" brecha muy necesaria ": la vida de las revisiones matemáticas" (PDF) . ams.org . 1997-03-01 . Consultado el 4 de mayo de 2023 .
- ^ "Math Times, otoño de 2007". Archivado desde el original el 5 de junio de 2011.
- ^ JL Selfridge; A. Hurwitz (enero de 1964). "Números de Fermat y números de Mersenne". Matemáticas. Computación . 18 (85): 146-148. doi : 10.2307/2003419 . JSTOR 2003419.
- ^ Rajala, Tapio (3 de febrero de 2010). "¡El segundo factor Fermat de GIMPS!" . Consultado el 9 de abril de 2017 .
- ^ Keller, Wilfrid. «Estado de factoraje Fermat» . Consultado el 11 de abril de 2017 .
- ^ John Brillhart ; DH Lehmer ; JL Selfridge (abril de 1975). "Nuevos criterios de primalidad y factorizaciones de 2m ± 1". Matemáticas. Computación . 29 (130): 620–647. doi : 10.1090/S0025-5718-1975-0384673-1 . JSTOR 2005583.
- ^ ab Erdös, P.; Selfridge, JL (1 de junio de 1975). "El producto de números enteros consecutivos nunca es una potencia". Revista de Matemáticas de Illinois . 19 (2). Prensa de la Universidad de Duke. doi : 10.1215/ijm/1256050816 . ISSN 0019-2082.
- ^ Brams, Steven J.; Taylor, Alan D. (1996). División justa: del corte del pastel a la resolución de disputas . Prensa de la Universidad de Cambridge. págs. 116-120. ISBN 0521556449.
- ^ Números primos: una perspectiva computacional , Richard Crandall y Carl Pomerance, segunda edición, Springer, 2011 Busque la conjetura de Selfridge en el índice.
- ^ Según un correo electrónico de Pomerance.
- ^ Carl Pomerance, Richard Crandall, Números primos: una perspectiva computacional , segunda edición, p. 168, Springer Verlag, 2005.
Publicaciones
- Pirani, FAE; Moser, Leo; Selfridge, John (1950). "Problemas y soluciones elementales: Soluciones: E903". Soy. Matemáticas. Lun . 57 (8): 561–562. doi :10.2307/2307953. JSTOR 2307953. SEÑOR 1527674.
- Carl Pomerance ; John L. Selfridge ; Samuel S. Wagstaff, Jr. (julio de 1980). "Los pseudoprimos a 25·109" (PDF) . Matemáticas. Computación . 35 (151): 1003–1026. doi : 10.1090/S0025-5718-1980-0572872-7 . JSTOR 2006210.
- Eggan, LC; Eggan, Peter C.; Selfridge, JL (1982). "Productos poligonales de números poligonales y la ecuación de Pell". Fibonacci P. 20 (1): 24-28. SEÑOR 0660755.
- Erdós, P; Selfridge, JL (1982). "Otra propiedad de 239 y algunas cuestiones relacionadas". Congr. Número. : 243–257. SEÑOR 0681710.
- Lacampagne, CB ; Selfridge, JL (1985). "Los números grandes y muy poderosos son cúbicos" (PDF) . Rocky Mt. J. Matemáticas. 15 (2): 459. doi :10.1216/rmj-1985-15-2-459. SEÑOR 0823257. S2CID 120373455.
- Lacampagne, CB ; Selfridge, JL (1986). "Pares de cuadrados con dígitos consecutivos". Matemáticas. Mag . 59 (5): 270–275. doi :10.2307/2689401. JSTOR 2689401. SEÑOR 0868804.
- Blair, WD; Lacampagne, CB ; Selfridge, JL (1986). "Notas: factorizar números grandes en una calculadora de bolsillo". Soy. Matemáticas. Lun . 93 (10): 802–808. doi :10.2307/2322936. JSTOR 2322936. SEÑOR 1540993.
- chico, RK; Lacampagne, CB; Selfridge, JL (1987). "Primes de un vistazo". Matemáticas. Computación . 48 (177): 183–202. doi : 10.1090/s0025-5718-1987-0866108-3 . SEÑOR 0866108.
- Trinchera, William F.; Rodríguez, RS; Sherwood, H.; Reznick, Bruce A .; Rubel, Lee A.; Golomb, Salomón W.; Kinnon, Nick M.; Erdós, Paul; Selfridge, John (1988). "Problemas y soluciones: problemas elementales: E3243 – E3248". Soy. Matemáticas. Lun . 95 (1): 50–51. doi :10.2307/2323449. JSTOR 2323449. SEÑOR 1541238.
- Erdós, P.; Lacampagne, CB; Selfridge, JL (1988). "Factores primos de coeficientes binomiales y problemas relacionados". Acta Arith . 49 (5): 507–523. doi : 10.4064/aa-49-5-507-523 . SEÑOR 0967334.
- Bateman, PT; Selfridge, JL; Wagstaff, SS (1989). "La conjetura de Nueva Mersenne". Soy. Matemáticas. Lun . 96 (2): 125-128. doi :10.2307/2323195. JSTOR 2323195. SEÑOR 0992073.
- Lacampagne, CB; Nicol, CA; Selfridge, JL (1990). "Conjuntos con sumas no libres de cuadrados". Teoría de los números . de Gruyter. págs. 299–311.
- Howie, John M.; Selfridge, JL (1991). "Un problema de incrustación de semigrupos y una función aritmética". Matemáticas. Proc. Camb. Filos. Soc . 109 (2): 277–286. Código Bib : 1991MPCPS.109..277H. doi :10.1017/s0305004100069747. SEÑOR 1085395. S2CID 120671857.
- Eggleton, RB; Lacampagne, CB; Selfridge, JL (1992). "Campos cuadráticos eulideos". Soy. Matemáticas. Lun . 99 (9): 829–837. doi :10.2307/2324118. JSTOR 2324118. SEÑOR 1191702.
- Erdós, P.; Lacampagne, CB; Selfridge, JL (1993). "Estimaciones del factor primo mínimo de un coeficiente binomial". Matemáticas. Computación . 61 (203): 215–224. Código Bib : 1993MaCom..61..215E. doi : 10.1090/s0025-5718-1993-1199990-6 . SEÑOR 1199990.
- Lin, Cantiano; Selfridge, JL; Shiue, Peter Jau-shyong (1995). "Una nota sobre secuencias binarias complementarias periódicas". J. peine. Matemáticas. Peine. Computación . 19 : 225–29. SEÑOR 1358509.
- Blecksmith, Richard; McCallum, Michael; Selfridge, JL (1998). "3 representaciones suaves de números enteros". Soy. Matemáticas. Lun . 105 (6): 529–543. doi :10.2307/2589404. JSTOR 2589404. SEÑOR 1626189.
- Blecksmith, Richard; Erdós, Paul; Selfridge, JL (1999). "primos de racimo". Soy. Matemáticas. Lun . 106 (1): 43–48. doi :10.2307/2589585. JSTOR 2589585. SEÑOR 1674129.
- Erdós, Paul; Malouf, Janice L.; Selfridge, JL; Szekeres, Esther (1999). "Subconjuntos de un intervalo cuyo producto es una potencia". Matemáticas discretas . 200 (1–3): 137–147. doi : 10.1016/s0012-365x(98)00332-x . SEÑOR 1692286.
- Granville, Andrés; Selfridge, JL (2001). "Producto de números enteros en un intervalo, módulo cuadrados". Electrón. J. Peine . 8 (1): #R5. doi : 10.37236/1549 . SEÑOR 1814512.