Entropy criterion for birational maps from cluster recurrences

About 14 years old · traced to

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+1−∑j=1N−1[±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=1N−1[b1,j+1]+,∑j=1N−1[−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.

References

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.