Eventual monotonicity of recursively defined sequence growth

From papers

Let fQ(d1,d2)f\in\mathbb Q(d_1,d_2) be a rational function defined on Z+×Z+\mathbb Z^+\times\mathbb Z^+ and suppose

f(d1,d2)>0d1,d2Z+,f(d_1,d_2)>0\quad\forall\,d_1,d_2\in\mathbb Z^+,

and

limd1,d2(f(d1,d2)/(d1d2d)k)R+\lim_{d_1,d_2\longrightarrow\infty}\left(f(d_1,d_2)\bigg/\bigg(\frac{d_1d_2}{d}\bigg)^k\right)\in\mathbb R^+

for some kR+k\in\mathbb R^+. If ndn_d is a sequence recursively defined by the source's recurrence and n1>0n_1>0, then the sequence ndd\sqrt[d]{n_d} is eventually increasing: there exists dZ+d^*\in\mathbb Z^+ such that

nddnd+1d+1dd.\sqrt[d]{n_d}\le\sqrt[d+1]{n_{d+1}}\qquad\forall\,d\ge d^*.

This conjecture concerns eventual log-convex-type behavior of recursively generated sequences and is motivated by asymptotic patterns in Gromov–Witten invariants. Its precise scope depends on the recurrence referenced by the source, which is not included in the supplied context.

Progress summary

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

Sources & referencesView supporting material

Primary source

Aleksey Zinger, “Some conjectures on the asymptotic behavior of Gromov-Witten invariants”, arXiv:1610.02971 (2017).

Solutions 0

No solutions have been posted yet.