A subsequence conjecture for pairs in RTR_T'

Let TT be a set of relatively prime pairs, and let (α,β)RT(\alpha,\beta)\in R_T', where

RT={(α,β)T:γα,β<Γ2},Γ=min{γα,β:(α,β)T}.R_T'=\{(\alpha,\beta)\in T:\gamma_{\alpha,\beta}<\Gamma^2\},\qquad \Gamma=\min\{\gamma_{\alpha,\beta}:(\alpha,\beta)\in T\}.

Let gtα,βg_t^{\alpha,\beta} denote the sequence associated with the (α,β)(\alpha,\beta)-walk, and let ST(n)\mathbf{S}_T(n) be the set of pairs attaining sT(n)=max(α,β)Tsα,β(n)\mathbf{s}_T(n)=\max_{(\alpha,\beta)\in T}s^{\alpha,\beta}(n). Subsequence conjecture. There exist infinitely many tt such that

(α,β)ST(gtα,β+βgt1α,β).(\alpha,\beta)\in\mathbf{S}_T\bigl(g_t^{\alpha,\beta}+\beta g_{t-1}^{\alpha,\beta}\bigr).

This is proposed as one possible route to proving the if direction of the preceding characterization conjecture, and it remains open.

Sources & referencesView supporting material

Primary source

Sam Spiro, “Slow Recurrences”, arXiv:1909.06517 (2019).

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.