pith. sign in

arxiv: 2402.18310 · v2 · submitted 2024-02-28 · 🌊 nlin.SI · math.DS· math.QA

Deformed cluster maps of type A_(2N)

Jan E. Grabowski , Andrew N.W. Hone , Wookyung Kim This is my paper

Pith reviewed 2026-05-24 03:58 UTC · model grok-4.3

classification 🌊 nlin.SI math.DSmath.QA
keywords cluster mapsLaurent propertyquiver mutationsDynkin type Adeformationsintegrable systemsdiscrete dynamicscluster algebras
0
0 comments X

The pith

Deformations of integrable cluster maps for Dynkin types A_{2N} are constructed from lower ranks via local quiver expansions and shown to retain the Laurent property.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs deformations of integrable cluster maps corresponding to the Dynkin types A_{2N}. These deformations are lifted to higher-dimensional maps that possess the Laurent property. Integrality is demonstrated explicitly for N up to 3. The construction supplies the first infinite class of such examples in arbitrarily high rank and supplies information on the associated discrete integrable systems. The key step is a local expansion operation on quivers that relates mutations in type A_{2N} to those in type A_{2(N-1)}.

Core claim

By extending prior work on cluster maps, deformations are built for all A_{2N} types; these lift to higher-dimensional maps that keep the Laurent property, with integrality verified for N≤3. The result is the first infinite family of such deformed maps in arbitrarily high rank together with information on the corresponding discrete integrable systems. The construction proceeds by a local expansion operation on quivers that reduces the study of mutations in type A_{2N} to those in type A_{2(N-1)}.

What carries the argument

Local expansion operation on quivers, which relates mutation sequences and cluster maps of type A_{2N} to those of lower rank A_{2(N-1)} while preserving the Laurent property.

Load-bearing premise

The local expansion operation on quivers preserves the Laurent property and allows mutations in type A_{2N} to be studied from those in type A_{2(N-1)}.

What would settle it

An explicit sequence of mutations applied to the deformed quiver of type A_4 that produces a cluster variable which is not a Laurent polynomial in the initial variables would show that the Laurent property fails to hold under local expansion.

Figures

Figures reproduced from arXiv: 2402.18310 by Andrew N.W. Hone, Jan E. Grabowski, Wookyung Kim.

Figure 1
Figure 1. Figure 1: Extension from QA4 to QA6 (a) Subquiver in QA4 (b) Subquiver in QA6 [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Local expansion of the subquiver in QA4 this does indeed give the Laurentification of the type A2N deformed cluster map (Section 3.4). Acknowledgements WK acknowledges studentship funding from the EPSRC. All three authors are grateful to Lancaster University for financial support during the project. 2 Preliminaries 2.1 Cluster algebras In this section, we recall the definition of two types of mutation, qui… view at source ↗
Figure 3
Figure 3. Figure 3: Type A4 deformed quiver the deformed map φ˜A4 is Laurentified to the cluster map ψA4 = ˜φA4 π = ˆρ −1 A4 µ2µ1µ11µ5, for ρˆA4 = (2, 3, 4, 5, 6, 7, 8, 9, 10) on (xˆ0, Bˆ A4 ), which generates the cluster variables expressed by the following recurrence rela￾tions: τn+2σn = σn+2τn + a1pn pn+1pn = σn+3σn+2τnτn+1 + qnσn+1τn+2 qn+1qn = σn+4σn+3τnτn+1 + pn+1σn+5τn−1 σn+6τn−1 = σn+4τn+1 + a1qn+1 (47) This example f… view at source ↗
Figure 4
Figure 4. Figure 4: Quiver corresponding to Bˆ A6 which can be depicted by the quiver in [PITH_FULL_IMAGE:figures/full_fig_p027_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Mutated quiver Q′ A6 = µ3µ2µ1µ15µ14µ6(QA6 ). It has the same structure as [PITH_FULL_IMAGE:figures/full_fig_p028_5.png] view at source ↗
Figure 7
Figure 7. Figure 7: (a) QA4 (b) QA6 [PITH_FULL_IMAGE:figures/full_fig_p028_7.png] view at source ↗
Figure 6
Figure 6. Figure 6: Extension from QA4 to QA6 Recall that each node in the deformed quiver corresponds to a tau function, e.g. for QA4 , the sequence of nodes (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13) corresponds to the sequence of functions (q0, τ−1, τ0, τ1, σ0, σ1, σ2, σ3, σ4, σ5, p0, a1, a4). The figures show that Q6 can be built from Q4 by carrying out the local expansion on the four-cycle subquiver with nodes correspon… view at source ↗
Figure 7
Figure 7. Figure 7: Local expansion of the subquiver in QA4 by a four-cycle quiver to obtain the deformed quiver QA2N with nodes corresponding to (p N−2 1 . . ., p1 1 , p0 1 , τ−1, τ0, τ1, σ0, σ1, σ2, σ3, . . . , σ2N+1, p0 2 , p1 2 , . . . , pN−2 2 , a1, a2N ) = (1, 2, 3, . . . , 4N + 3, 4N + 4, 4N + 5) What does this expansion tell us? The local expansion above gives insight into the structure of the tau functions in the xi … view at source ↗
Figure 8
Figure 8. Figure 8: (Candidate) deformed quiver [PITH_FULL_IMAGE:figures/full_fig_p033_8.png] view at source ↗
read the original abstract

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)}$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The paper constructs deformations of integrable cluster maps for Dynkin types A_{2N} by introducing a local expansion operation on quivers. This operation is used to lift maps from type A_{2(N-1)} to A_{2N}, producing higher-dimensional maps asserted to possess the Laurent property. Explicit constructions and integrality checks are provided for N≤3. The work claims this yields the first infinite class of such maps in arbitrarily high rank and provides information on the associated discrete integrable systems.

Significance. If the central claims hold, the result would be significant for providing the first infinite family of deformed cluster maps in arbitrarily high rank within type A_{2N}, along with explicit integrality verifications for small N that could serve as a foundation for further study of discrete integrable systems. The approach of lifting via local expansion on quivers is a potentially useful technical contribution if the preservation properties are established generally.

major comments (1)
  1. [Abstract] Abstract (final paragraph): The assertion that the local expansion operation on quivers preserves the Laurent property when lifting maps from type A_{2(N-1)} to A_{2N} for arbitrary N is only supported by explicit verification for N≤3; no general proof, inductive argument, or error bounds for higher N are provided. This is load-bearing for the central claim of an infinite class in arbitrarily high rank.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their detailed review and valuable comments on our paper. We address the major comment point by point below.

read point-by-point responses

  1. Referee: The assertion that the local expansion operation on quivers preserves the Laurent property when lifting maps from type A_{2(N-1)} to A_{2N} for arbitrary N is only supported by explicit verification for N≤3; no general proof, inductive argument, or error bounds for higher N are provided. This is load-bearing for the central claim of an infinite class in arbitrarily high rank.

    Authors: We agree with the referee that the preservation of the Laurent property under the local expansion is supported only by explicit verification for N≤3. The manuscript defines the local expansion operation in general and uses it to construct the maps for arbitrary N, verifying the Laurent property explicitly in the lifted cases for N=2 and N=3 (as well as integrality for N≤3). No general inductive proof or argument for arbitrary N is provided. The claim of an infinite class refers to the existence of the explicit construction for all N, with the stated properties confirmed for small N. We will revise the abstract to clarify that the Laurent property is verified for N≤3 rather than asserted to hold generally via the operation. This is a partial revision. revision: partial

Circularity Check

0 steps flagged

Construction extends cited prior results with no definitional reduction or fitted prediction

full rationale

The paper constructs deformed cluster maps for type A_{2N} via a local expansion operation on quivers that lifts maps from A_{2(N-1)}, extending work by the third author and Kouloukas. It asserts preservation of the Laurent property under this operation and demonstrates integrality explicitly for N≤3 while claiming an infinite family. No step reduces a claimed result to a fitted input, self-defined quantity, or load-bearing self-citation chain by construction; the derivation consists of explicit quiver mutations and deformations whose properties are verified directly rather than tautologically. This is a standard self-contained construction paper with only minor self-citation that does not affect the central claims.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; all such items remain unknown.

pith-pipeline@v0.9.0 · 5637 in / 1081 out tokens · 24529 ms · 2026-05-24T03:58:38.371019+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [1]

    M. J. Ablowitz, A. Ramani, and H. Segur. Nonlinear evolution equations and ordinary differential equations of P ainlev\' e type. Lett. Nuovo Cimento (2) , 23(9):333--338, 1978

    work page 1978

  2. [2]

    Fordy and Andrew Hone

    Allan P. Fordy and Andrew Hone. Discrete integrable systems and P oisson algebras from cluster maps. Comm. Math. Phys. , 325(2):527--584, 2014

    work page 2014

  3. [3]

    Fordy and Robert J

    Allan P. Fordy and Robert J. Marsh. Cluster mutation-periodic quivers and associated L aurent sequences. J. Algebraic Combin. , 34(1):19--66, 2011

    work page 2011

  4. [4]

    Allan P. Fordy. Mutation-periodic quivers, integrable maps and associated P oisson algebras. Philos. Trans. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. , 369(1939):1264--1279, 2011

    work page 1939

  5. [5]

    Cluster algebras

    Sergey Fomin and Andrei Zelevinsky. Cluster algebras. I . F oundations. J. Amer. Math. Soc. , 15(2):497--529, 2002

    work page 2002

  6. [6]

    Cluster algebras

    Sergey Fomin and Andrei Zelevinsky. Cluster algebras. II . F inite type classification. Invent. Math. , 154(1):63--121, 2003

    work page 2003

  7. [7]

    Cluster algebras

    Sergey Fomin and Andrei Zelevinsky. Cluster algebras. IV . C oefficients. Compos. Math. , 143(1):112--164, 2007

    work page 2007

  8. [8]

    Grammaticos, A

    B. Grammaticos, A. Ramani, and V. Papageorgiou. Do integrable mappings have the P ainlev\' e property? Phys. Rev. Lett. , 67(14):1825--1828, 1991

    work page 1991

  9. [9]

    Cluster algebras and P oisson geometry , volume 167 of Mathematical Surveys and Monographs

    Michael Gekhtman, Michael Shapiro, and Alek Vainshtein. Cluster algebras and P oisson geometry , volume 167 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2010

    work page 2010

  10. [10]

    Andrew N. W. Hone and Theodoros E. Kouloukas. Deformations of cluster mutations and invariant presymplectic forms. J. Algebraic Combin. , 57(3):763--791, 2023

    work page 2023

  11. [11]

    A. N. W. Hone, T. E. Kouloukas, and G. R. W. Quispel. Some integrable maps and their H irota bilinear forms. J. Phys. A , 51(4):044004, 30, 2018

    work page 2018

  12. [12]

    Andrew N. W. Hone, Philipp Lampe, and Theodoros E. Kouloukas. Cluster algebras and discrete integrability. In Nonlinear systems and their remarkable mathematical structures. V ol. 2 , pages 294--325. CRC Press, Boca Raton, FL, 2020

    work page 2020

  13. [13]

    Andrew N. W. Hone. Laurent polynomials and superintegrable maps. SIGMA Symmetry Integrability Geom. Methods Appl. , 3:Paper 022, 18, 2007

    work page 2007

  14. [14]

    Singularity confinement and chaos in discrete systems

    Jarmo Hietarinta and Claude Viallet. Singularity confinement and chaos in discrete systems. Phys. Rev. Lett. , 81:325--328, Jul 1998

    work page 1998

  15. [15]

    van der Kamp

    Khaled Hamad and Peter H. van der Kamp. From discrete integrable equations to L aurent recurrences. J. Difference Equ. Appl. , 22(6):789--816, 2016

    work page 2016

  16. [16]

    Difference equations and cluster algebras I : P oisson bracket for integrable difference equations

    Rei Inoue and Tomoki Nakanishi. Difference equations and cluster algebras I : P oisson bracket for integrable difference equations. In Infinite analysis 2010--- D evelopments in quantum integrable systems , volume B28 of RIMS K\^ o ky\^ u roku Bessatsu , pages 63--88. Res. Inst. Math. Sci. (RIMS), Kyoto, 2011

    work page 2010

  17. [17]

    Kanki, J

    M. Kanki, J. Mada, K. M. Tamizhmani, and T. Tokihiro. Discrete P ainlev\' e II equation over finite fields. J. Phys. A , 45(34):342001, 8, 2012

    work page 2012

  18. [18]

    Lafortune and A

    S. Lafortune and A. Goriely. Singularity confinement and algebraic integrability. J. Math. Phys. , 45(3):1191--1208, 2004

    work page 2004

  19. [19]

    Completely integrable symplectic mapping

    Shigeru Maeda. Completely integrable symplectic mapping. Proc. Japan Acad. Ser. A Math. Sci. , 63(6):198--200, 1987

    work page 1987

  20. [20]

    A simple model of the integrable H amiltonian equation

    Franco Magri. A simple model of the integrable H amiltonian equation. J. Math. Phys. , 19(5):1156--1162, 1978

    work page 1978

  21. [21]

    Periodicities in cluster algebras and dilogarithm identities

    Tomoki Nakanishi. Periodicities in cluster algebras and dilogarithm identities. In Representations of algebras and related topics , EMS Ser. Congr. Rep., pages 407--443. Eur. Math. Soc., Z\" u rich, 2011

    work page 2011

  22. [22]

    A. P. Veselov. Integrable mappings. Uspekhi Mat. Nauk , 46(5(281)):3--45, 190, 1991

    work page 1991

  23. [23]

    Al. B. Zamolodchikov. On the thermodynamic B ethe ansatz equations for reflectionless ADE scattering theories. Phys. Lett. B , 253(3-4):391--394, 1991

    work page 1991