Skip to content

Erdős problem 539

For A=n|A| = n, how small can the cofactor set Q(A)={a/gcd(a,b):a,bA}Q(A) = \{a / \gcd(a,b) : a, b \in A\} be? The answer is h(n)=n1/2+o(1)h(n) = n^{1/2 + o(1)}: a new upper bound h(n)n1/2exp(O(logn))h(n) \le n^{1/2} \exp(O(\sqrt{\log n})) matches the classical lower bound.

Sources

Browse retained paths and inspect the exact material available for this Problem.

9 retained statements2415f78e850a

Open selected source

Retained excerpts/

VibeMathed

Retained source excerpt1 of 1

For $|A| = n$, how small can the cofactor set $Q(A) = \{a / \gcd(a,b) : a, b \in A\}$ be? The answer is $h(n) = n^{1/2 + o(1)}$: a new upper bound $h(n) \le n^{1/2} \exp(O(\sqrt{\log n}))$ matches the classical lower bound.

Open exact source location

Search problems.science

Find a Problem, Result, source, or page