Sharp exponent conjecture for restricted-digit additive triples

For an integer b3b\geq 3, let BbB_b be the set of nonnegative integers whose base-bb expansion contains only the digits 00 and 11. Let a,b,c3a,b,c\geq 3 be pairwise multiplicatively independent integers, and set

s=log2loga+log2logb+log2logc.s=\frac{\log 2}{\log a}+\frac{\log 2}{\log b}+\frac{\log 2}{\log c}.

Sharp-exponent conjecture. If s>1s>1, then for each ϵ>0\epsilon>0 there exists a constant CC such that, for every integer NN, the number of solutions (x,y,z)(x,y,z) with x,y,z0x,y,z\geq 0, zNz\leq N, and xBax\in B_a, yBby\in B_b, zBcz\in B_c is at most CNs1+ϵCN^{s-1+\epsilon} and at least C1Ns1ϵC^{-1}N^{s-1-\epsilon}.

This asks whether the exponent s1s-1 in the paper's upper bound is essentially sharp. The source describes the corresponding upper estimate as obtainable by a dimension-decomposition method, while the matching lower bound remains conjectural.

Sources & referencesView supporting material

Primary source

Han Yu, “Additive properties of numbers with restricted digits”, arXiv:2004.05926 (2021).

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.