Eric Bach

Eric Bach es un científico informático estadounidense que ha realizado contribuciones a la teoría computacional de números .

Bach completó sus estudios de pregrado en la Universidad de Michigan, Ann Arbor , y obtuvo su doctorado en ciencias de la computación de la Universidad de California, Berkeley , en 1984 bajo la supervisión de Manuel Blum . ^{[ 1 ]} Actualmente es profesor en el Departamento de Ciencias de la Computación de la Universidad de Wisconsin-Madison .

Entre otros trabajos, dio límites explícitos para el teorema de densidad de Chebotarev , lo que implica que si se asume la hipótesis generalizada de Riemann entonces ${\displaystyle \left(\mathbb {Z} /n\mathbb {Z} \right)^{*}}$es generado por sus elementos menores que 2(log n ) ² . ^{[ 2 ]} Este resultado muestra que la hipótesis generalizada de Riemann implica límites ajustados para el tiempo de ejecución necesario de la versión determinista de la prueba de primalidad de Miller-Rabin . Bach también realizó algunos de los primeros trabajos para determinar el tiempo de ejecución real esperado del método rho de Pollard donde trabajos anteriores se basaban en estimaciones heurísticas y datos empíricos. ^{[ 3 ]} Es el homónimo del algoritmo de Bach para generar números factorizados aleatorios.