On the quotient sequence of sequences of integers (Q4719645)

For \(a\in A\subset\mathbb{N}\), let \(Q^a_A\) denote the set of integers \(q>1\) such that \(aq\in A\), and write \(Q_A=\cup_{a\in A}Q^a_A\), \(Q^\infty_A= \cap^\infty_{n=1} \cup_{a\geq n\atop a\in A} Q^a_A\). Thus if \(q\in Q^\infty_A\) then \(q>1\) has infinitely representations in the form \(q={a'\over a}\) with \(a\), \(a'\in A\). The sets \(Q_A,Q_A^\infty\) are called respectively the quotient set, the infinite quotient set of \(A\). Continuing investigations begun earlier by various authors, \textit{C. Pomerance} and \textit{A. Sárközy} studied in [Acta Arith. 49, 291-302 (1988; Zbl 0638.10053)] quotient sets of certain sets. The present authors pursue this study further by establishing a number of results connecting the lower density or upper logarithmic density of \(A\) with density related properties of \(Q_A\) or \(Q_A^\infty\). Thus Theorem 2 shows that \(Q^\infty_A\) is infinite when \(A\) has positive upper logarithmic density, and, on the other hand, that for all \(\varepsilon(x)\searrow 0\) there is a set \(A\) such that \(|A \cap[1,x] |> \varepsilon(x) x\) for \(x>x_0\) but \(Q^\infty_A\) is empty. Theorem 4 contains quantitative results about the set \(Q_A^\infty\cap [1,y]\) under certain conditions.