Entropy criterion for birational maps from cluster recurrences

Let b1,j+1b_{1,j+1} be the coefficients defining a birational map

correspondingtoarecurrencecorresponding to a recurrence

, and let [x]+=max(x,0)[x]_+=\max(x,0). Define

P±(λ)=λN+1j=1N1[±b1,j+1]+λj.P_{\pm}(\lambda)=\lambda^N+1-\sum_{j=1}^{N-1}[\pm b_{1,j+1}]_+\lambda^j.

Let λmax\lambda_{\max} be the root of largest magnitude among the roots of these two polynomials. Entropy criterion conjecture. The algebraic entropy is E=logλmax\mathcal{E}=\log|\lambda_{\max}|, and it is positive if and only if

max(j=1N1[b1,j+1]+,j=1N1[b1,j+1]+)3.\max\left(\sum_{j=1}^{N-1}[b_{1,j+1}]_+,\sum_{j=1}^{N-1}[-b_{1,j+1}]_+\right)\geq3.

This would give an explicit test for exponential degree growth and distinguish positive-entropy recurrences from zero-entropy cases; its general validity is presented as the main conjecture and remains open.

Sources & referencesView supporting material

Primary source

Allan Fordy and Andrew Hone, “Discrete integrable systems and Poisson algebras from cluster maps”, arXiv:1207.6072 (2012).

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.