Superior highly composite number

In mathematics, a superior highly composite number is a natural number which has the highest ratio of its number of divisors to some positive power of itself than any other number. It is a stronger restriction than that of a highly composite number, which is defined as having more divisors than any smaller positive integer.

Divisor function d(n) up to n = 250
Prime-power factors

The first 10 superior highly composite numbers and their factorization are listed.

# prime
factors
SHCN
n
prime
factorization
prime
exponents
# divisors
d(n)
primorial
factorization
1 2 2 1 2 2 2
2 6 2 ⋅ 3 1,1 22 4 6
3 12 22 ⋅ 3 2,1 3×2 6 2 ⋅ 6
4 60 22 ⋅ 3 ⋅ 5 2,1,1 3×22 12 2 ⋅ 30
5 120 23 ⋅ 3 ⋅ 5 3,1,1 4×22 16 22 ⋅ 30
6 360 23 ⋅ 32 ⋅ 5 3,2,1 4×3×2 24 2 ⋅ 6 ⋅ 30
7 2520 23 ⋅ 32 ⋅ 5 ⋅ 7 3,2,1,1 4×3×22 48 2 ⋅ 6 ⋅ 210
8 5040 24 ⋅ 32 ⋅ 5 ⋅ 7 4,2,1,1 5×3×22 60 22 ⋅ 6 ⋅ 210
9 55440 24 ⋅ 32 ⋅ 5 ⋅ 7 ⋅ 11 4,2,1,1,1 5×3×23 120 22 ⋅ 6 ⋅ 2310
10 720720 24 ⋅ 32 ⋅ 5 ⋅ 7 ⋅ 11 ⋅ 13 4,2,1,1,1,1 5×3×24 240 22 ⋅ 6 ⋅ 30030
Plot of the number of divisors of integers from 1 to 1000. Highly composite numbers are labelled in bold and superior highly composite numbers are starred. In the SVG file, hover over a bar to see its statistics.

For a superior highly composite number n there exists a positive real number ε such that for all natural numbers k smaller than n we have

and for all natural numbers k larger than n we have

where d(n), the divisor function, denotes the number of divisors of n. The term was coined by Ramanujan (1915).[1]

For example, the number with the most divisors per square root of the number itself is 12; this can be demonstrated using some highly composites near 12: .

The first 15 superior highly composite numbers, 2, 6, 12, 60, 120, 360, 2520, 5040, 55440, 720720, 1441440, 4324320, 21621600, 367567200, 6983776800 (sequence A002201 in the OEIS) are also the first 15 colossally abundant numbers, which meet a similar condition based on the sum-of-divisors function rather than the number of divisors. Neither set, however, is a subset of the other.

PropertiesEdit

All superior highly composite numbers are highly composite. This is easy to prove: if there is some number k that has the same number of divisors as n but is less than n itself (i.e.  , but  ), then   for all positive ε, so if a number "n" is not highly composite, it cannot be superior highly composite.

An effective construction of the set of all superior highly composite numbers is given by the following monotonic mapping from the positive real numbers.[2] Let

 

for any prime number p and positive real x. Then

  is a superior highly composite number.

Note that the product need not be computed indefinitely, because if   then  , so the product to calculate   can be terminated once  .

Also note that in the definition of  ,   is analogous to   in the implicit definition of a superior highly composite number.

Moreover, for each superior highly composite number   exists a half-open interval   such that   .

This representation implies that there exist an infinite sequence of   such that for the n-th superior highly composite number   holds

 

The first   are 2, 3, 2, 5, 2, 3, 7, ... (sequence A000705 in the OEIS). In other words, the quotient of two successive superior highly composite numbers is a prime number.

Superior highly composite radicesEdit

The first few superior highly composite numbers have often been used as radices, due to their high divisibility for their size. For example:

Bigger SHCNs can be used in other ways. 120 appears as the long hundred, while 360 appears as the number of degrees in a circle.

NotesEdit

  1. ^ Weisstein, Eric W. "Superior Highly Composite Number". mathworld.wolfram.com. Retrieved 2021-03-05.
  2. ^ Ramanujan (1915); see also URL http://wwwhomes.uni-bielefeld.de/achim/hcn.dvi

ReferencesEdit

External linksEdit