arxiv: 2604.13115 · v1 · submitted 2026-04-13 · 🌊 nlin.SI

Recognition: unknown

An infinite family of homogeneous discrete equations with the Laurent property

Andrei K. Svinin

Pith reviewed 2026-05-10 16:00 UTC · model grok-4.3

classification 🌊 nlin.SI

keywords Laurent propertyhomogeneous discrete equationsSomos-5 recurrencediscrete integrable systemsinteger sequencesrecurrence relationsbirational maps

0 comments

The pith

An infinite family of homogeneous discrete equations all possess the Laurent property, starting with Somos-5.

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

The paper presents a new infinite family of homogeneous discrete equations that each satisfy the Laurent property. The well-known Somos-5 recurrence is the first member of this family. A sympathetic reader cares because the Laurent property guarantees that every term remains a Laurent polynomial in the initial data with integer coefficients, which supports the production of integer sequences and points toward algebraic integrability. The construction supplies a systematic way to generate infinitely many such equations rather than isolated examples.

Core claim

The paper claims to construct and investigate an infinite family of homogeneous discrete equations whose first representative is the Somos-5 recurrence, with every member possessing the Laurent property.

What carries the argument

The infinite parameterized family of homogeneous discrete equations that generalizes the Somos-5 recurrence while preserving the Laurent property.

If this is right

The family supplies infinitely many distinct examples of homogeneous equations with the Laurent property.
Each equation in the family is homogeneous of a fixed degree.
The Somos-5 recurrence is recovered as the lowest member, and all subsequent members inherit the same algebraic character.
The construction yields sequences that remain Laurent polynomials under iteration.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The family may provide a template for generating further Laurent-property equations by varying the homogeneity degree or the number of terms.
Similar parameterization techniques could be tested on other known recurrences to enlarge the set of examples with the property.
If the pattern holds, one could search for conserved quantities or birational invariants shared across the entire family.

Load-bearing premise

Every member of the family beyond the initial Somos-5 case satisfies the Laurent property.

What would settle it

Direct computation of several terms in any specific higher member of the family, checking whether they remain Laurent polynomials in the initial values with integer coefficients.

read the original abstract

We present and investigate a new infinite family of homogeneous equations which possess the Laurent property. The first representative in this family is the well-known Somos-5 recurrence.

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.

Desk Editor's Note private letter to a colleague

Svinin gives an explicit infinite family of homogeneous recurrences with the Laurent property, built out from the Somos-5 case.

read the letter

The paper constructs an infinite family of homogeneous discrete equations that all have the Laurent property, with the Somos-5 recurrence as the first member. The main contribution is a uniform way to generate the whole family rather than listing isolated examples. This adds concrete new objects to the collection of Laurent-property recurrences, which is helpful for people who study algebraic properties of discrete integrable systems or look for patterns that connect to cluster algebras and combinatorics. The work is straightforward in its presentation and focuses on explicit construction plus verification that the property holds throughout the family. That approach is useful when the goal is to enlarge the set of known cases for further study or testing. The soft spot is that the abstract gives no details on the actual form of the general member or the proof method, so it is not possible to judge from the given text whether the argument is inductive, algebraic-identity based, or something else that scales cleanly to infinity. If the verification turns out to be only computational for low members, that would limit how far the claim can be trusted without additional work. The paper is aimed at specialists in nonlinear integrable systems and discrete equations who already know the Somos sequence literature. A reader looking for new explicit examples to cite or to run experiments on would find it worth reading. It is solid enough on its own terms to deserve peer review so that referees can check the construction and the general proof.

Referee Report

1 major / 1 minor

Summary. The manuscript presents a new infinite family of homogeneous discrete equations possessing the Laurent property, with the Somos-5 recurrence as the first member. It claims to construct this family explicitly and investigate its properties.

Significance. An explicit infinite family extending the Somos-5 recurrence with the Laurent property would be a useful addition to the literature on Laurent phenomenon recurrences and their connections to cluster algebras and integrable systems, provided the construction is uniform and the property is established for the general case.

major comments (1)

The central claim requires an explicit general form of the family and a verification (inductive or otherwise) that the Laurent property holds for all members. No such derivation or explicit recurrence is supplied in the provided text, preventing assessment of whether the construction is parameter-free or load-bearing assumptions are avoided.

minor comments (1)

The abstract is brief and could usefully include the general form of the family or a statement of the main theorem.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report and the opportunity to clarify our manuscript. We address the major comment below and will revise the paper accordingly to strengthen the presentation.

read point-by-point responses

Referee: The central claim requires an explicit general form of the family and a verification (inductive or otherwise) that the Laurent property holds for all members. No such derivation or explicit recurrence is supplied in the provided text, preventing assessment of whether the construction is parameter-free or load-bearing assumptions are avoided.

Authors: We agree that the general form of the infinite family and the verification of the Laurent property require a more explicit and self-contained treatment to allow full assessment. In the revised manuscript we will add a dedicated subsection in Section 2 that states the uniform recurrence for arbitrary members of the family (with all coefficients made explicit and parameter-free). We will also insert an inductive argument in Section 3 that establishes the Laurent property for every member, beginning from the base case of Somos-5 and proceeding by direct substitution and clearing of denominators. These additions will remove any ambiguity about the construction. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper constructs and presents an explicit new infinite family of homogeneous discrete recurrences, with the well-known Somos-5 equation as the initial member, and asserts that every member possesses the Laurent property. The abstract and context provide no equations, self-citations, or derivations that reduce the central claim to a fitted parameter, self-definition, or prior result by the same authors. The construction is framed as direct presentation of new objects rather than a prediction derived from inputs by construction, satisfying the criteria for a self-contained derivation with no load-bearing circular steps.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract alone; the claim rests on the existence of the family and the Laurent property without further decomposition.

pith-pipeline@v0.9.0 · 5299 in / 944 out tokens · 49643 ms · 2026-05-10T16:00:57.159884+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

15 extracted references · 1 canonical work pages

[1]

Alman, C

J. Alman, C. Cuenca, and J. Huang,Laurent phenomenon sequences, J. Alg. Comb. 43 (2016), pp. 589–633

2016
[2]

R. H. Buchholz, and R. L. Rathbun,An infinite set of Heron triangles with two rational medians, Amer. Math. Monthly 104 (1997), pp. 107–115

1997
[3]

Davis, K

B. Davis, K. Kotsonis, and J. Rouse,The density of primes dividing a term in the Somos-5 sequence, Proc. Amer. Math. Soc., Series B 4 (2017), pp 5–20

2017
[4]

L. E. DicksonHistory of the Theory of NumbersAMS Chelsea publishing company 2 (1992)

1992
[5]

Fomin, and A

S. Fomin, and A. Zelevinsky,The Laurent phenomenonAdv. Appl. Math. 28 (2002), pp. 119–144

2002
[6]

A. P. Fordy, and B. R. March,Cluster mutation-periodic quivers and associated Laurent se- quences, J. Algebr. Comb. 34 (2011), pp. 19–66

2011
[7]

A. N. W. Hone,Sigma function solution of the initial value problem for Somos 5 sequences, Trans. Amer. Math. Soc. 359 (2007), pp. 5019–5034

2007
[8]

A. N. W. Hone,Heron triangles with two rational medians and Somos-5 sequences, European J. Math. 8 (2022), pp. 1424–1486

2022
[9]

A. N. W. Hone, J. A. G. Roberts, and P. Vanhaecke,A family of integrable maps associated with the Volterra lattice, Nonlinearity 37 (2024), 095028

2024
[10]

Lam, and P

T. Lam, and P. Pylyavskyy,Laurent phenomenon algebras, Cambridge J. Math. 4 (2016) pp 121-162

2016
[11]

A. K. Svinin,On some classes of discrete polynomials and ordinary difference equations, J. Phys. A: Math. Theor. 47 (2014), 155201

2014
[12]

A. K. Svinin,On integrals for some class of ordinary difference equations admitting a Lax representation, J. Phys. A: Math. Theor. 49 (2016), 095201

2016
[13]

A. K. Svinin,Somos-4 equation and related equations, Adv. Appl. Math. 153 (2024), 102609

2024
[14]

A. K. Svinin,Volterra map and related recurrences, arXiv preprint arXiv:2502.06908. (2025), 31 pp

work page arXiv 2025
[15]

Vanhaecke P,Integrable systems in the realm of algebraic geometry, Springer Science and Business Media (2001)

P. Vanhaecke P,Integrable systems in the realm of algebraic geometry, Springer Science and Business Media (2001). Andrei K. Svinin, Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences, P.O. Box 292, 664033 Irkutsk, Russia Email address:svinin@icc.ru

2001