TOPICS
Search

Smooth Number


An integer is k-smooth if it has no prime factors >k. The following table gives the first few k-smooth numbers for small k. Berndt (1994, p. 52) called the 7-smooth numbers "highly composite numbers."

kOEISk-smooth numbers
2A0000791, 2, 4, 8, 16, 32, 64, 128, 256, 512, ...
3A0035861, 2, 3, 4, 6, 8, 9, 12, 16, 18, 24, ...
5A0510371, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, ...
7A0024731, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, ...
11A0510381, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, ...

The probability that a random positive integer <=n is k-smooth is psi(n,k)/n, where psi(n,k) is the number of k-smooth numbers <=n. This fact is important in application of Kraitchik's extension of Fermat's factorization method because it is related to the number of random numbers which must be examined to find a suitable subset whose product is a square.

Since about pi(k) k-smooth numbers must be found (where pi(k) is the prime counting function), the number of random numbers which must be examined is about pi(k)n/psi(n,k). But because it takes about pi(k) steps to determine if a number is k-smooth using trial division, the expected number of steps needed to find a subset of numbers whose product is a square is ∼[pi(k)]^2n/psi(n,k) (Pomerance 1996). Canfield et al. (1983) showed that this function is minimized when

 k∼exp(1/2sqrt(lnnlnlnn))
(1)

and that the minimum value is about

 exp(2sqrt(lnnlnlnn)).
(2)

In the continued fraction factorization algorithm, n can be taken as 2sqrt(n), but in Fermat's factorization method, it is n^(1/2+epsilon). k is an estimate for the largest prime in the factor base (Pomerance 1996).

The curiosity

 11859210 approx 11859211->
7×13×19^4 approx 2×3^4×5×11^4->
91×19^4 approx 10×33^4->
9.1 approx (33^4)/(19^4)->
9.1^(1/4) approx 33/19
(3)

involves the largest consecutive 19-smooth numbers, 11859210 and 11859211.


See also

Highly Composite Number, Round Number, Rough Number, Semiprime

Explore with Wolfram|Alpha

References

Berndt, B. C. Ramanujan's Notebooks, Part IV. New York: Springer-Verlag, 1994.Blecksmith, R.; McCallum, M.; and Selfridge, J. L. "3-Smooth Representations of Integers." Amer. Math. Monthly 105, 529-543, 1998.Canfield, E. R.; Erdős, P.; and Pomerance, C. "On a Problem of Oppenheim Concerning 'Factorisation Numerorum.' " J. Number Th. 17, 1-28, 1983.Mintz, D. J. "2, 3 Sequence as a Binary Mixture." Fib. Quart. 19, 351-360, 1981.Pomerance, C. "On the Role of Smooth Numbers in Number Theoretic Algorithms." In Proc. Internat. Congr. Math., Zürich, Switzerland, 1994, Vol. 1 (Ed. S. D. Chatterji). Basel: Birkhäuser, pp. 411-422, 1995.Pomerance, C. "A Tale of Two Sieves." Not. Amer. Math. Soc. 43, 1473-1485, 1996.Ramanujan, S. Collected Papers of Srinivasa Ramanujan (Ed. G. H. Hardy, P. V. S. Aiyar, and B. M. Wilson). Providence, RI: Amer. Math. Soc., p. xxiv, 2000.Sloane, N. J. A. Sequences A000079/M1129, A002473/M0477, A003586, A051037, and A051038 in "The On-Line Encyclopedia of Integer Sequences."

Referenced on Wolfram|Alpha

Smooth Number

Cite this as:

Weisstein, Eric W. "Smooth Number." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/SmoothNumber.html

Subject classifications