An extension of a result about divisors in a residue class and its application to reducing integer factorization to computing Euler’s totient
HTML articles powered by AMS MathViewer
- by Bartosz Źrałek HTML | PDF
- Math. Comp. 88 (2019), 1261-1272 Request permission
Abstract:
According to a theorem of Coppersmith, Howgrave-Graham, and Nagaraj, relying on lattice basis reduction, the divisors of an integer $n$ which lie in some fixed residue class modulo a given integer $A$ can be computed efficiently if $A$ is large enough. We extend their algorithm to the setting when the modulus is a product $A\cdot B$, where $A$ is given and the unknown $B$ divides an integer whose prime factors are known. The resulting tool is applied in the context of reducing integer factorization to computing Euler’s totient function $\varphi$. Our reduction is deterministic, runs in at most $\exp \left (\left (72^{-\frac {1}{3}}+o(1)\right ) (\ln n)^{\frac {1}{3}}(\ln \ln n)^{\frac {2}{3}}\right )$ time, and requires no more than $\ln _8 n$ chosen values of $\varphi$. This improves upon a previous recent result both in terms of the factor $72^{-\frac {1}{3}}$ and the number of values of $\varphi$ needed.
In a more concrete setting, another algorithmic extension of the theorem of Coppersmith et al. may be worth noting. We can make use of the (unknown) smooth part of a shifted divisor $d$ of $n$ (or even several shifts of $d$) to compute a suitably large modulus $A$ and the corresponding residue class $d\bmod A$ via Chinese remaindering.
References
- Eric Bach, Gary Miller, and Jeffrey Shallit, Sums of divisors, perfect numbers and factoring, SIAM J. Comput. 15 (1986), no. 4, 1143–1154. MR 861378, DOI 10.1137/0215083
- E. R. Canfield, Paul Erdős, and Carl Pomerance, On a problem of Oppenheim concerning “factorisatio numerorum”, J. Number Theory 17 (1983), no. 1, 1–28. MR 712964, DOI 10.1016/0022-314X(83)90002-1
- Don Coppersmith, Nick Howgrave-Graham, and S. V. Nagaraj, Divisors in residue classes, constructively, Math. Comp. 77 (2008), no. 261, 531–545. MR 2353965, DOI 10.1090/S0025-5718-07-02007-8
- Michael R. Fellows and Neal Koblitz, Self-witnessing polynomial-time complexity and prime factorization, Des. Codes Cryptogr. 2 (1992), no. 3, 231–235. MR 1181730, DOI 10.1007/BF00141967
- Martin Fürer, Deterministic and Las Vegas primality testing algorithms, Automata, languages and programming (Nafplion, 1985) Lecture Notes in Comput. Sci., vol. 194, Springer, Berlin, 1985, pp. 199–209. MR 819255, DOI 10.1007/BFb0015745
- Aleksandar Ivić and Gérald Tenenbaum, Local densities over integers free of large prime factors, Quart. J. Math. Oxford Ser. (2) 37 (1986), no. 148, 401–417. MR 868616, DOI 10.1093/qmath/37.4.401
- Sergei Konyagin and Carl Pomerance, On primes recognizable in deterministic polynomial time, The mathematics of Paul Erdős, I, Algorithms Combin., vol. 13, Springer, Berlin, 1997, pp. 176–198. MR 1425185, DOI 10.1007/978-3-642-60408-9_{1}5
- A. K. Lenstra, H. W. Lenstra Jr., and L. Lovász, Factoring polynomials with rational coefficients, Math. Ann. 261 (1982), no. 4, 515–534. MR 682664, DOI 10.1007/BF01457454
- D. Long, Random Equivalence of Factorization and Computation of Orders, Princeton University, Department of Electrical Engineering and Computer Science, Technical Report 284 (1981).
- Gary L. Miller, Riemann’s hypothesis and tests for primality, J. Comput. System Sci. 13 (1976), no. 3, 300–317. MR 480295, DOI 10.1016/S0022-0000(76)80043-8
- J. M. Pollard, Theorems on factorization and primality testing, Proc. Cambridge Philos. Soc. 76 (1974), 521–528. MR 354514, DOI 10.1017/s0305004100049252
- Volker Strassen, Einige Resultate über Berechnungskomplexität, Jber. Deutsch. Math.-Verein. 78 (1976/77), no. 1, 1–8. MR 438807
- Bartosz Źrałek, A deterministic version of Pollard’s $p-1$ algorithm, Math. Comp. 79 (2010), no. 269, 513–533. MR 2552238, DOI 10.1090/S0025-5718-09-02262-5
Additional Information
- Bartosz Źrałek
- Affiliation: Institute of Mathematics, Warsaw University, Banacha 2, 02-097 Warszawa, Poland
- Email: b.zralek@mimuw.edu.pl
- Received by editor(s): July 26, 2016
- Received by editor(s) in revised form: September 23, 2017, and March 13, 2018
- Published electronically: August 1, 2018
- Additional Notes: The author was partially supported by MNiSW grant IP2011 064471
- © Copyright 2018 American Mathematical Society
- Journal: Math. Comp. 88 (2019), 1261-1272
- MSC (2010): Primary 11Y16; Secondary 11Y05
- DOI: https://doi.org/10.1090/mcom/3368
- MathSciNet review: 3904146