Searcharxiv⌕ Search

arXiv subjects

Andrew N. W. Hone

Publications and source records attributed to Andrew N. W. Hone.

At least 19 recordsLinked to original sources
arXiv2026

Vector peakon equations and isospectral flows in Clifford algebras

Starting from a spectral problem posed in a Clifford algebra with $d$ generators and Euclidean signature, we study an integrable, coupled system of PDEs that can be viewed as a vector perturbation of the Camassa--Holm equation with residual orthogonal symmetry. In the two-component case $d=2$, we show that the travelling wave solutions correspond to a Liouville integrable Hamiltonian system with two degrees of freedom, making use of a reciprocal transformation linking the coupled PDEs to a symmetry of the Hirota--Satsuma system. We also present a symmetry classification of all integrable two-component perturbations of Camassa--Holm, and find that besides the $d=2$ system analyzed here, the coupled 2CH system studied by Olver and Rosenau (as well as by Chen, Liu and Zhang, and Falqui), and equations related to either of those systems by Miura transformations, we also obtain a new system that (to the best of our knowledge) has not been reported previously. For the case of an arbitrary number of components $d$, we additionally investigate the short-pulse (high-frequency) regime, in which the limiting dynamics are governed by a vector-valued Hunter-Saxton type system. Furthermore, we provide a detailed analysis of the corresponding measure-valued (weak) solutions associated with this system.

nlin.SI↗
arXiv2026

Deformed cluster maps of type $A_{2N}$

We extend recent work of the third author and Kouloukas by constructing deformations of integrable cluster maps corresponding to the Dynkin types $A_{2N}$, lifting these to higher-dimensional maps possessing the Laurent property and demonstrating integrality of the deformations for $N\leq 3$. This provides the first infinite class of examples (in arbitrarily high rank) of such maps and gives information on the associated discrete integrable systems. Key to our approach is a ``local expansion'' operation on quivers which allows us to construct and study mutations in type $A_{2N}$ from those in type $A_{2(N-1)}$.

nlin.SI↗
arXiv2026

Growth of Mahler measure and algebraic entropy of dynamics with the Laurent property

We consider the growth rate of the Mahler measure in discrete dynamical systems with the Laurent property, and in cluster algebras, and compare this with other measures of growth. In particular, we formulate the conjecture that the growth rate of the logarithmic Mahler measure coincides with the algebraic entropy, which is defined in terms of degree growth. Evidence for this conjecture is provided by exact and numerical calculations of the Mahler measure for a family of Laurent polynomials generated by rank 2 cluster algebras, for a recurrence of third order related to the Markoff numbers, and for the Somos-4 recurrence. Also, for the sequence of Laurent polynomials associated with the Kronecker quiver (the cluster algebra of affine type $\tilde{A}_1)$ we prove a precise formula for the leading order asymptotics of the logarithmic Mahler measure, which grows linearly.

math.NT↗
arXiv2025

Special solutions of a discrete Painlevé equation for quantum minimal surfaces

We consider solutions of a discrete Painlevé equation arising from a construction of quantum minimal surfaces by Arnlind, Hoppe and Kontsevich, and in earlier work of Cornalba and Taylor on static membranes. While the discrete equation admits a continuum limit to the continuous Painlevé I equation, we find that it has the same space of initial values as the Painlevé V equation with certain specific parameter values. We further explicitly show how each iteration of this discrete Painlevé I equation corresponds to a certain composition of Bäcklund transformations for Painlevé V, as was first remarked in work by Tokihiro, Grammaticos and Ramani. In addition, we show that some explicit special function solutions of Painlevé V, written in terms of modified Bessel functions, yield the unique positive solution of the initial value problem required for quantum minimal surfaces.

math-ph↗
arXiv2024

New cluster algebras from old: integrability beyond Zamolodchikov periodicity

We consider discrete dynamical systems obtained as deformations of mutations in cluster algebras associated with finite-dimensional simple Lie algebras. The original (undeformed) dynamical systems provide the simplest examples of Zamolodchikov periodicity: they are affine birational maps for which every orbit is periodic with the same period. Following on from preliminary work by one of us with Kouloukas, here we present integrable maps obtained from deformations of cluster mutations related to the following simple root systems: $A_3$, $B_2$, $B_3$ and $D_4$. We further show how new cluster algebras arise, by considering Laurentification, that is, a lifting to a higher-dimensional map expressed in a set of new variables (tau functions), for which the dynamics exhibits the Laurent property. For the integrable map obtained by deformation of type $A_3$, which already appeared in our previous work, we show that there is a commuting map of Quispel-Roberts-Thompson (QRT) type which is built from a composition of mutations and a permutation applied to the same cluster algebra of rank 6, with an additional 2 frozen variables. Furthermore, both the deformed $A_3$ map and the QRT map correspond to addition of a point in the Mordell-Weil group of a rational elliptic surface of rank two, and the underlying cluster algebra comes from a quiver that mutation equivalent to the $q$-Painlevé III quiver found by Okubo. The deformed integrable maps of types $B_2$, $B_3$ and $D_4$ are also related to elliptic surfaces. From a dynamical systems viewpoint, the message of the paper is that special families of birational maps with completely periodic dynamics under iteration admit natural deformations that are aperiodic yet completely integrable.

nlin.SI↗
arXiv2024

Heron triangles and the hunt for unicorns

A Heron triangle is one that has all integer side lengths and integer area, which takes its name from Heron of Alexandria's area formula. From a more relaxed point of view, if rescaling is allowed, then one can define a Heron triangle to be one whose side lengths and area are all rational numbers. A perfect triangle is a Heron triangle with all three medians being rational. According to a longstanding conjecture, no such triangle exists, so perfect triangles are as rare as unicorns. However, if perfect is the enemy of good, then perhaps it is best to insist on only two of the medians being rational. Buchholz and Rathbun found an infinite family of Heron triangles with two rational medians, which they were able to associate with the set of rational points on an elliptic curve $E(\mathbb{Q})$. Here we describe a recently discovered explicit formula for the sides, area and medians of these (almost perfect) triangles, expressed in terms of a pair of integer sequences: these are Somos sequences, which first became popular thanks to David Gale's column in Mathematical Intelligencer.

math.NT↗
arXiv2022

Heron triangles with two rational medians and Somos-5 sequences

Triangles with integer length sides and integer area are known as Heron triangles. Taking rescaling freedom into account, one can apply the same name when all sides and the area are rational numbers. A perfect triangle is a Heron triangle with all three medians being rational, and it is a longstanding conjecture that no such triangle exists. However, Buchholz and Rathbun showed that there are infinitely many Heron triangles with two rational medians, an infinite subset of which are associated with rational points on an elliptic curve $E(\mathbb{Q})$ with Mordell-Weil group $\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$, and they observed a connection with a pair of Somos-5 sequences. Here we make the latter connection more precise by providing explicit formulae for the integer side lengths, the two rational medians, and the area in this infinite family of Heron triangles. The proof uses a combined approach to Somos-5 sequences and associated Quispel-Roberts-Thompson (QRT) maps in the plane, from several different viewpoints: complex analysis, real dynamics, and reduction modulo a prime.

math.NT↗
arXiv2022

Similarity reductions of peakon equations: the $b$-family

The $b$-family is a one-parameter family of Hamiltonian partial differential equations of non-evolutionary type, which arises in shallow water wave theory. It admits a variety of solutions, including the celebrated peakons, which are weak solutions in the form of peaked solitons with a discontinuous first derivative at the peaks, as well as other interesting solutions that have been obtained in exact form and/or numerically. In each of the special cases $b=2,3$ (the Camassa-Holm and Degasperis-Procesi equations, respectively) the equation is completely integrable, in the sense that it admits a Lax pair and an infinite hierarchy of commuting local symmetries, but for other values of the parameter $b$ it is non-integrable. After a discussion of travelling waves via the use of a reciprocal transformation, which reduces to a hodograph transformation at the level of the ordinary differential equation satisfied by these solutions, we apply the same technique to the scaling similarity solutions of the $b$-family, and show that when $b=2$ or $3$ this similarity reduction is related by a hodograph transformation to particular cases of the Painlevé III equation, while for all other choices of $b$ the resulting ordinary differential equation is not of Painlevé type.

nlin.SI↗
arXiv2021

Casting light on shadow Somos sequences

Recently Ovsienko and Tabachnikov considered extensions of Somos and Gale-Robinson sequences, defined over the algebra of dual numbers. Ovsienko used the same idea to construct so-called shadow sequences derived from other nonlinear recurrence relations exhibiting the Laurent phenomenon, with the original motivation being the hope that these examples should lead to an appropriate notion of a cluster superalgebra, incorporating Grassmann variables. Here we present various explicit expressions for the shadow of Somos-4 sequences, and describe the solution of a general Somos-4 recurrence defined over the $\mathbb{C}$-algebra of dual numbers from several different viewpoints: analytic formulae in terms of elliptic functions, linear difference equations, and Hankel determinants.

math.CO↗
arXiv2021

Deformations of cluster mutations and invariant presymplectic forms

We consider deformations of sequences of cluster mutations in finite type cluster algebras, which destroy the Laurent property but preserve the presymplectic structure defined by the exchange matrix. The simplest example is the Lyness 5-cycle, arising from the cluster algebra of type $A_2$: this deforms to the Lyness family of integrable symplectic maps in the plane. For types $A_3$ and $A_4$ we find suitable conditions such that the deformation produces a two-parameter family of Liouville integrable maps (in dimensions two and four, respectively). We also perform Laurentification for these maps, by lifting them to a higher-dimensional space of tau functions with a cluster algebra structure, where the Laurent property is restored. More general types of deformed mutations associated with affine Dynkin quivers are shown to correspond to four-dimensional symplectic maps arising as reductions of the discrete sine-Gordon equation.

math-ph↗
arXiv2020

Continued fractions for strong Engel series and Lüroth series with signs

An Engel series is a sum of reciprocals $\sum_{j\geq 1} 1/x_j$ of a non-decreasing sequence of positive integers $x_n$ with the property that $x_n$ divides $x_{n+1}$ for all $n\geq 1$. In previous work, we have shown that for any Engel series with the stronger property that $x_n^2$ divides $x_{n+1}$, the continued fraction expansion of the sum is determined explicitly in terms of $z_1=x_1$ and the ratios $z_n=x_n/x_{n-1}^2$ for $n\geq 2$. Here we show that, when this stronger property holds, the same is true for a sum $\sum_{j\geq 1}ε_j/x_j$ with an arbitrary sequence of signs $ε_j=\pm 1$. As an application, we use this result to provide explicit continued fractions for particular families of Lüroth series and alternating Lüroth series defined by nonlinear recurrences of second order. We also calculate exact irrationality exponents for certain families of transcendental numbers defined by such series.

math.NT↗
arXiv2020

ECM factorization with QRT maps

Quispel-Roberts-Thompson (QRT) maps are a family of birational maps of the plane which provide the simplest discrete analogue of an integrable Hamiltonian system, and are associated with elliptic fibrations in terms of biquadratic curves. Each generic orbit of a QRT map corresponds to a sequence of points on an elliptic curve. In this preliminary study, we explore versions of the elliptic curve method (ECM) for integer factorization based on iterating three different QRT maps with particular initial data. Pseudorandom number generation and other possible applications are briefly discussed.

math.NT↗
arXiv2020

Discrete Hirota reductions associated with the lattice KdV equation

We study the integrability of a family of birational maps obtained as reductions of the discrete Hirota equation, which are related to travelling wave solutions of the lattice KdV equation. In particular, for reductions corresponding to waves moving with rational speed N/M on the lattice, where N,M are coprime integers, we prove the Liouville integrability of the maps when N + M is odd, and prove various properties of the general case. There are two main ingredients to our construction: the cluster algebra associated with each of the Hirota bilinear equations, which provides invariant (pre)symplectic and Poisson structures; and the connection of the monodromy matrices of the dressing chain with those of the KdV travelling wave reductions.

math-ph↗
arXiv2020

Efficient ECM factorization in parallel with the Lyness map

The Lyness map is a birational map in the plane which provides one of the simplest discrete analogues of a Hamiltonian system with one degree of freedom, having a conserved quantity and an invariant symplectic form. As an example of a symmetric Quispel-Roberts-Thompson (QRT) map, each generic orbit of the Lyness map lies on a curve of genus one, and corresponds to a sequence of points on an elliptic curve which is one of the fibres in a pencil of biquadratic curves in the plane. Here we present a version of the elliptic curve method (ECM) for integer factorization, which is based on iteration of the Lyness map with a particular choice of initial data. More precisely, we give an algorithm for scalar multiplication of a point on an elliptic curve, which is represented by one of the curves in the Lyness pencil. In order to avoid field inversion, and require only field multiplication (${\bf M}$), squaring (${\bf S}$) and addition, projective coordinates in $\mathbb{P}^1 \times \mathbb{P}^1$ are used. Neglecting multiplication by curve constants (assumed small), each addition of the chosen point uses $2{\bf M}$, while each doubling step requires $15{\bf M}$. We further show that the doubling step can be implemented efficiently in parallel with four processors, dropping the effective cost to $4{\bf M}$. Our scalar multiplication algorithm should require, on average, roughly twice as many multiplications per bit as the fastest state of the art methods using twisted Edwards curves with small constants, but it can be applied to any elliptic curve over $\mathbb{Q}$, whereas twisted Edwards curves (equivalent to Montgomery curves) correspond to only a subset of all elliptic curves. Hence, if implemented in parallel, our method may have potential advantages for integer factorization or elliptic curve cryptography.

math.NT↗
arXiv2020

Linear relations for Laurent polynomials and lattice equations

A recurrence relation is said to have the Laurent property if all of its iterates are Laurent polynomials in the initial values with integer coefficients. We consider a family of nonlinear recurrences with the Laurent property, which were derived by Alman et al. via a construction of periodic seeds in Laurent phenomenon algebras, and generalize the Heideman-Hogan recurrences. Each member of the family is shown to be linearizable, in the sense that the iterates satisfy linear recurrence relations with constant coefficients. The latter are obtained from linear relations with periodic coefficients, which were found recently by Kamiya et al. from travelling wave reductions of a linearizable lattice equation on a 6-point stencil. We introduce another linearizable lattice equation on the same stencil, and present the corresponding linearization for its travelling wave reductions. Finally, for both of the 6-point lattice equations considered, we use the formalism of van der Kamp to construct a broad class of initial value problems with the Laurent property.

nlin.SI↗
arXiv2019

Continued fractions and Hankel determinants from hyperelliptic curves

Following van der Poorten, we consider a family of nonlinear maps which are generated from the continued fraction expansion of a function on a hyperelliptic curve of genus $\mathrm{g}$. Using the connection with the classical theory of J-fractions and orthogonal polynomials, we show that in the simplest case $\mathrm{g}=1$ this provides a straightforward derivation of Hankel determinant formulae for the terms of a general Somos-4 sequence, which were found in a particular form by Chang, Hu and Xin, We extend these formulae to the higher genus case, and prove that generic Hankel determinants in genus two satisfy a Somos-8 relation. Moreover, for all $\mathrm{g}$ we show that the iteration for the continued fraction expansion is equivalent to a discrete Lax pair with a natural Poisson structure, and the associated nonlinear map is a discrete integrable system. This paper is dedicated to the memory of Jon Nimmo.

math.NT↗
arXiv2019

Cluster algebras and discrete integrability

Cluster algebras are a class of commutative algebras whose generators are defined by a recursive process called mutation. We give a brief introduction to cluster algebras, and explain how discrete integrable systems can appear in the context of cluster mutation. In particular, we give examples of birational maps that are integrable in the Liouville sense and arise from cluster algebras with periodicity, as well as examples of discrete Painlevé equations that are derived from Y-systems.

math.CO↗