Asymptotic counting conjecture for powers of multiplicatively independent complex numbers

Let α,βC\alpha,\beta\in\mathbb{C} satisfy α>1|\alpha|>1 and β>1|\beta|>1. Two nonzero complex numbers are multiplicatively independent if no nontrivial integer relation αrβs=1\alpha^r\beta^s=1 holds with (r,s)Z2{(0,0)}(r,s)\in\mathbb{Z}^2\setminus\{(0,0)\}. Define

Nα,β(x)=#{(n,m):αnβmx, (n,m)N×N}.N_{\alpha,\beta}(x)=\#\{(n,m):|\alpha^n-\beta^m|\leqslant x,\ (n,m)\in\mathbb{N}\times\mathbb{N}\}.

The multiplicative-independence counting conjecture. The numbers α\alpha and β\beta are multiplicatively independent if and only if

Nα,β(x)(logx)2logαlogβ,x.N_{\alpha,\beta}(x)\sim\frac{(\log x)^2}{\log|\alpha|\cdot\log|\beta|},\qquad x\to\infty.

This is proposed as an extension of the paper's asymptotic results from algebraic to potentially transcendental α\alpha or β\beta; its resolution is not supplied here.

Sources & referencesView supporting material

Primary source

Daodao Yang, “Integers representable as differences of linear recurrence sequences”, arXiv:2006.09541 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.