Small-perturbation solvability conjecture for the Cantor series system

About 13 years old · traced to

Let t∈N3t\in\mathbb{N}_3 and let ϵ⃗=(ϵ1,…,ϵt)∈Rt\vec{\epsilon}=(\epsilon_1,\ldots,\epsilon_t)\in\mathbb{R}^t. Consider the nonlinear system

c0+c1+c2+c3+⋯+ct−1=2t+ϵ1c0c1+c1c2+c2c3+c3c4+⋯+ct−2ct−1=2t+ϵ2c0c1c2+c1c2c3+c2c3c4+c3c4c5+⋯+ct−3ct−2ct−1=2t+ϵ3⋯c0c1⋯ct−1=2t+ϵt.\begin{aligned} c_0+c_1+c_2+c_3+\cdots+c_{t-1}&=2t+\epsilon_1\\ c_0c_1+c_1c_2+c_2c_3+c_3c_4+\cdots+c_{t-2}c_{t-1}&=2t+\epsilon_2\\ c_0c_1c_2+c_1c_2c_3+c_2c_3c_4+c_3c_4c_5+\cdots+c_{t-3}c_{t-2}c_{t-1}&=2t+\epsilon_3\\ \cdots\\ c_0c_1\cdots c_{t-1}&=2t+\epsilon_t. \end{aligned}

Small-perturbation solvability conjecture. Whenever ∥ϵ⃗∥\lVert\vec{\epsilon}\rVert is sufficiently small, this system has a solution

(c0,c1,…,ct−1)∈[t,t+1]×[1+12t,1+1t−1]t−1.(c_0,c_1,\ldots,c_{t-1})\in[t,t+1]\times\left[1+\frac{1}{2t},1+\frac{1}{t-1}\right]^{t-1}.

The source notes computer verification for t≤100t\leq100 when ϵ⃗=0\vec{\epsilon}=0 and explains that this conjecture would imply the AP-abnormality conjecture and further order-separation results. It remains unproved.

References

Primary source

Brian Li and Bill Mance, “Number theoretic applications of a class of Cantor series fractal functions, II”, arXiv:1310.2379 (2014).

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.