On the orbits of multiplicative pairs (Q2305968): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Import241208061232 (talk | contribs)
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.2140/ant.2020.14.155 / rank
Normal rank
 
Property / OpenAlex ID
 
Property / OpenAlex ID: W3103381653 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1810.08967 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4893915 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3469639 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new proof of Szemerédi's theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Large character sums: Pretentious characters and the Pólya-Vinogradov theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Correlations of multiplicative functions and applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rigidity theorems for multiplicative functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Multiplicative functions in short intervals / rank
 
Normal rank
Property / cites work
 
Property / cites work: MULTIPLICATIVE FUNCTIONS IN SHORT INTERVALS, AND CORRELATIONS OF MULTIPLICATIVE FUNCTIONS / rank
 
Normal rank
Property / cites work
 
Property / cites work: An averaged form of Chowla's conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: Berry-Esseen bounds and a theorem of Erdős and Turan on uniform distribution mod 1 / rank
 
Normal rank
Property / cites work
 
Property / cites work: THE LOGARITHMICALLY AVERAGED CHOWLA AND ELLIOTT CONJECTURES FOR TWO-POINT CORRELATIONS / rank
 
Normal rank
Property / cites work
 
Property / cites work: The structure of logarithmically averaged correlations of multiplicative functions, with applications to the Chowla and Elliott conjectures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4841598 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.2140/ANT.2020.14.155 / rank
 
Normal rank

Latest revision as of 22:15, 17 December 2024

scientific article
Language Label Description Also known as
English
On the orbits of multiplicative pairs
scientific article

    Statements

    On the orbits of multiplicative pairs (English)
    0 references
    0 references
    0 references
    20 March 2020
    0 references
    The authors characterize all pairs of completely multiplicative functions \(f,g:\mathbb{N}\to\mathbb{T}\) such that \(\overline{\{(f(n),g(n+1))\}_n}\neq\mathbb{T}\times\mathbb{T}\), where \(\mathbb{T}\) is the unit circle and \(\overline{\{(f(n),g(n+1))\}_n}\) denotes the orbit closure of the point \(1\). More exactly, one of the main results of the paper is the proof of the following amended version of the Daróczy-Kátai conjecture (1989). For a completely multiplicative function \(h\) let \(T_h=\{p\text { prime}: h(p)\ne 1\}\). Theorem 1.2: Let \(f,g:\mathbb{N}\to\mathbb{T}\) be completely multiplicative functions. Suppose that \(\overline{\{(f(n),g(n+1))\}_n}\neq\mathbb{T}\times\mathbb{T}\), yet \(\overline{\{f(n)\}_n} = \overline{\{g(n)\}_n}=\mathbb{T}\). Suppose additionally that for infinitely many \(m\) one has \(|T_{f^m} \cup T_{g^m}| >1\). Then there are integers \(k\) and \(l\) such that \(f(n)^k =g(n)^l\), with \(f(n)^k =n^{it}\) for some nonzero real number \(t\). Another main result is formulated in terms of irrational functions, defined as follows. A completely multiplicative function \(f:\mathbb{N}\to\mathbb{T}\) is said to be eventually rational if there exist positive integers \(k\) and \(N_0=N_0(k)\) such that for all primes \(p\ge N_0\) one has \(f(p)^k=1\). Otherwise, the function \(f\) is said to be irrational. Now, Theorem 1.6 states and proves the following: Suppose that \(f,g:\mathbb{N}\to\mathbb{T}\) are completely multiplicative functions such that \(\overline{\{f(n)\}_n} = \overline{\{g(n)\}_n}=\mathbb{T}\). Suppose furthermore that at least one of \(f\) and \(g\) is irrational. If \(\overline{\{(f(n),g(n+1))\}_n}\neq\mathbb{T}\times\mathbb{T}\), then there are positive integers \(k,l\) and real numbers \(t,t'\) such that \(f(n)^k=n^{it}\) and \(g(n)^l= n^{it'}\).
    0 references
    multiplicative functions
    0 references
    Erdős discrepancy problem
    0 references
    Daróczy-Kátai conjecture
    0 references

    Identifiers