Invariants for a family of discrete equations with the Laurent property

Andrei K Svinin

arxiv: 2606.24925 · v1 · pith:BDZI3LVAnew · submitted 2026-06-21 · 🌊 nlin.SI

Invariants for a family of discrete equations with the Laurent property

Andrei K Svinin This is my paper

Pith reviewed 2026-06-26 09:49 UTC · model grok-4.3

classification 🌊 nlin.SI

keywords discrete equationsLaurent propertyinvariantsintegralitySomos equationsodd-order equationsintegrable systems

0 comments

The pith

A finite set of independent invariants for an infinite family of odd-order discrete equations yields a more general integrality criterion than the Laurent property alone.

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

The paper examines an infinite family of homogeneous discrete equations of odd order that possess the Laurent property, with the Somos-5 equation as the first member. It constructs a finite collection of independent invariants for members of this family. Through concrete examples, these invariants are shown to support a broader condition under which the generated sequences consist entirely of integers. This extends beyond the guarantee supplied by the Laurent property by itself.

Core claim

We construct a finite set of independent invariants for our equations. We show, through examples, that the presence of these invariants allows us to find a more general criterion for the integrality of sequences compared to what the usual Laurent property provides.

What carries the argument

The finite set of independent invariants constructed for the family of homogeneous odd-order discrete equations.

If this is right

The invariants permit verification of integrality for sequences where the Laurent property alone is inconclusive.
For equations such as Somos-5 and its relatives, the invariants supply an additional conserved structure that tracks integer generation.
The method extends the practical reach of integrality tests within the previously identified family.

Where Pith is reading between the lines

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

The invariants could be used to classify which initial conditions produce integer sequences across the entire family.
Similar invariant constructions might be attempted for other discrete equations known to have the Laurent property.
If the invariants persist under suitable continuous limits, they may connect to conserved quantities in associated integrable differential equations.

Load-bearing premise

The invariants are independent of one another and the examples suffice to establish that the new criterion is strictly more general and applies reliably beyond the Laurent property.

What would settle it

An explicit sequence generated by one equation in the family that obeys every constructed invariant yet produces a non-integer term at some step.

read the original abstract

Recently, we have found an infinite family of homogeneous discrete equations of odd order possessing the Laurent property. The first representative of this family is the well-known Somos-5 equation, which under certain conditions generates the integer sequence A006721, which has numerous applications. In this work, we construct a finite set of independent invariants for our equations. We show, through examples, that the presence of these invariants allows us to find a more general criterion for the integrality of sequences compared to what the usual Laurent property provides.

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

The paper constructs a finite set of independent invariants for the authors' infinite family of odd-order discrete equations with the Laurent property and uses examples to suggest a wider integrality criterion than the property alone.

read the letter

The main takeaway is that the authors construct a finite set of independent invariants for their recently identified infinite family of homogeneous odd-order discrete equations that possess the Laurent property, and they use examples to argue that these invariants support a broader criterion for sequence integrality than the Laurent property by itself.

This builds directly on their prior identification of the family, with Somos-5 as the starting point. Providing explicit invariants is a useful next step for analyzing these equations algebraically. The examples are meant to demonstrate cases where the invariants allow integrality conclusions that go beyond what the Laurent property alone gives, which is a fair way to illustrate the point without claiming a full theorem.

The limitation is that the more general criterion is shown only through examples, not established in general. This makes the result modest and avoids overclaiming, but it also means the paper does not deliver a complete new criterion that applies to all such equations. The independence of the invariants and their construction details would need to be checked in the full text, but the abstract suggests they are the core new element.

This paper is for researchers in nonlinear difference equations and integrable systems who work with Laurent properties and integer sequences. A reader familiar with Somos sequences and related recurrences would find the invariants relevant for further calculations or generalizations.

It deserves peer review because the topic is well-defined, the claims are limited to what the examples support, and the work is a natural continuation in the area. Referees can assess the invariants and whether the examples are convincing.

Referee Report

0 major / 2 minor

Summary. The manuscript constructs a finite set of independent invariants for an infinite family of homogeneous discrete equations of odd order that possess the Laurent property (with Somos-5 as the first member). It demonstrates via examples that these invariants yield a more general criterion for integrality of generated sequences than the Laurent property alone.

Significance. If the invariants are rigorously independent and the examples are representative, the work supplies concrete new conserved quantities for this family and shows how they can relax integrality conditions beyond the standard Laurent phenomenon; this is a modest but useful advance in the study of discrete integrable systems and integer sequences.

minor comments (2)

[§2] §2: the statement that the invariants are 'independent' should be accompanied by an explicit rank or algebraic-independence argument rather than left implicit after the construction.
[§4] The examples in §4 would benefit from a short table listing the invariants evaluated on the initial data and the resulting integrality range, to make the comparison with the pure Laurent criterion immediate.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work and the recommendation for minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states that an infinite family with the Laurent property was identified in prior work, then constructs a finite set of independent invariants for those equations and illustrates via examples that the invariants yield a more general integrality criterion. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-definition, or load-bearing self-citation chain; the invariants are presented as newly constructed objects, and the integrality claim is explicitly limited to examples without a general theorem that would require external justification. The derivation chain is therefore self-contained against the stated inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Review is based solely on the abstract; no explicit free parameters, axioms, or invented entities are identifiable from the provided information.

pith-pipeline@v0.9.1-grok · 5602 in / 1000 out tokens · 16015 ms · 2026-06-26T09:49:25.929356+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

18 extracted references · 1 linked inside Pith

[1]

Perfect matchings for the three-term GaleRobinson sequences Electron

Bousquet-M´ elou M., Propp J., West J. Perfect matchings for the three-term GaleRobinson sequences Electron. J. Combin.16R125 2009

2009
[2]

Buchholz R.H., Rathbun R. L. An infinite set of Heron triangles with two rational medians Amer. Math. Monthly104107–115 1997

1997
[3]

The density of primes dividing a term in the Somos-5 sequence Proc

Davis B., Kotsonis R., Rouse J. The density of primes dividing a term in the Somos-5 sequence Proc. Amer. Math. Soc., Ser. B45-20 2017

2017
[4]

Colored BPS Pyramid Partition Functions, Quivers and Cluster Transformations JHEP20121–44 2012

Eager R., Franco S. Colored BPS Pyramid Partition Functions, Quivers and Cluster Transformations JHEP20121–44 2012

2012
[5]

The Laurent phenomenon Adv

Fomin S., Zelevinsky A. The Laurent phenomenon Adv. Appl. Math.28119–144 2002

2002
[6]

, Cluster mutation-periodic quivers and associated Laurent sequences J

Fordy A.P., March B.R. , Cluster mutation-periodic quivers and associated Laurent sequences J. Algebr. Comb.3419–66 2011

2011
[7]

The strange and surprising saga of the Somos sequences Math

Gale D. The strange and surprising saga of the Somos sequences Math. Intelligencer1340–42 1991

1991
[8]

T., Viallet C.-M

Gubbiotti G., Joshi N., Tran D. T., Viallet C.-M. Bi-rational maps in four dimensions with two invariants J. Phys. A: Math. Theor.53115201 2020

2020
[9]

Sigma function solution of the initial value problem for Somos 5 sequences Trans

Hone A.N.W. Sigma function solution of the initial value problem for Somos 5 sequences Trans. Amer. Math. Soc.3595019–5034 2007

2007
[10]

A family of integrable maps associated with the Volterra lattice Nonlinearity37095028 2024 18 ANDREI K

Hone A.N.W., Roberts J.A.G., Vanhaecke P. A family of integrable maps associated with the Volterra lattice Nonlinearity37095028 2024 18 ANDREI K. SVININ

2024
[11]

Laurent phenomenon algebras Cambridge J

Lam T., Pylyavskyy P. Laurent phenomenon algebras Cambridge J. Math.4121–162 2016

2016
[12]

Periodicity of Somos sequences Proc

Robinson R.M. Periodicity of Somos sequences Proc. Amer. Math. Soc.116613–619 1992

1992
[13]

Speyer D

D. Speyer D. Perfect matchings and the octahedron recurrence J. Algebraic Combin.25309–348 2007

2007
[14]

On some class of reductions for Itoh-Narita-Bogoyavlenskii lattice J

Svinin A.K. On some class of reductions for Itoh-Narita-Bogoyavlenskii lattice J. Phys. A: Math. Theor.42454021 2009

2009
[15]

On some classes of discrete polynomials and ordinary difference equations J

Svinin A.K. On some classes of discrete polynomials and ordinary difference equations J. Phys. A: Math. Theor.47155201 2014

2014
[16]

On integrals for some class of ordinary difference equations admitting a Lax representation J

Svinin A.K. On integrals for some class of ordinary difference equations admitting a Lax representation J. Phys. A: Math. Theor.49095201 2016

2016
[17]

Volterra map and related recurrences arXiv.2502.06908

Svinin A.K. Volterra map and related recurrences arXiv.2502.06908

arXiv
[18]

Svinin A.K. An infinite family of homogeneous discrete equations with the Laurent property arXiv:2604.13115 Email address:svinin@icc.ru Matrosov Institute for System Dynamics and Control Theory, Siberian Branch of Russian Academy of Sciences, PO Box 292, 664033 Irkutsk, Russia

Pith/arXiv arXiv

[1] [1]

Perfect matchings for the three-term GaleRobinson sequences Electron

Bousquet-M´ elou M., Propp J., West J. Perfect matchings for the three-term GaleRobinson sequences Electron. J. Combin.16R125 2009

2009

[2] [2]

Buchholz R.H., Rathbun R. L. An infinite set of Heron triangles with two rational medians Amer. Math. Monthly104107–115 1997

1997

[3] [3]

The density of primes dividing a term in the Somos-5 sequence Proc

Davis B., Kotsonis R., Rouse J. The density of primes dividing a term in the Somos-5 sequence Proc. Amer. Math. Soc., Ser. B45-20 2017

2017

[4] [4]

Colored BPS Pyramid Partition Functions, Quivers and Cluster Transformations JHEP20121–44 2012

Eager R., Franco S. Colored BPS Pyramid Partition Functions, Quivers and Cluster Transformations JHEP20121–44 2012

2012

[5] [5]

The Laurent phenomenon Adv

Fomin S., Zelevinsky A. The Laurent phenomenon Adv. Appl. Math.28119–144 2002

2002

[6] [6]

, Cluster mutation-periodic quivers and associated Laurent sequences J

Fordy A.P., March B.R. , Cluster mutation-periodic quivers and associated Laurent sequences J. Algebr. Comb.3419–66 2011

2011

[7] [7]

The strange and surprising saga of the Somos sequences Math

Gale D. The strange and surprising saga of the Somos sequences Math. Intelligencer1340–42 1991

1991

[8] [8]

T., Viallet C.-M

Gubbiotti G., Joshi N., Tran D. T., Viallet C.-M. Bi-rational maps in four dimensions with two invariants J. Phys. A: Math. Theor.53115201 2020

2020

[9] [9]

Sigma function solution of the initial value problem for Somos 5 sequences Trans

Hone A.N.W. Sigma function solution of the initial value problem for Somos 5 sequences Trans. Amer. Math. Soc.3595019–5034 2007

2007

[10] [10]

A family of integrable maps associated with the Volterra lattice Nonlinearity37095028 2024 18 ANDREI K

Hone A.N.W., Roberts J.A.G., Vanhaecke P. A family of integrable maps associated with the Volterra lattice Nonlinearity37095028 2024 18 ANDREI K. SVININ

2024

[11] [11]

Laurent phenomenon algebras Cambridge J

Lam T., Pylyavskyy P. Laurent phenomenon algebras Cambridge J. Math.4121–162 2016

2016

[12] [12]

Periodicity of Somos sequences Proc

Robinson R.M. Periodicity of Somos sequences Proc. Amer. Math. Soc.116613–619 1992

1992

[13] [13]

Speyer D

D. Speyer D. Perfect matchings and the octahedron recurrence J. Algebraic Combin.25309–348 2007

2007

[14] [14]

On some class of reductions for Itoh-Narita-Bogoyavlenskii lattice J

Svinin A.K. On some class of reductions for Itoh-Narita-Bogoyavlenskii lattice J. Phys. A: Math. Theor.42454021 2009

2009

[15] [15]

On some classes of discrete polynomials and ordinary difference equations J

Svinin A.K. On some classes of discrete polynomials and ordinary difference equations J. Phys. A: Math. Theor.47155201 2014

2014

[16] [16]

On integrals for some class of ordinary difference equations admitting a Lax representation J

Svinin A.K. On integrals for some class of ordinary difference equations admitting a Lax representation J. Phys. A: Math. Theor.49095201 2016

2016

[17] [17]

Volterra map and related recurrences arXiv.2502.06908

Svinin A.K. Volterra map and related recurrences arXiv.2502.06908

arXiv

[18] [18]

Svinin A.K. An infinite family of homogeneous discrete equations with the Laurent property arXiv:2604.13115 Email address:svinin@icc.ru Matrosov Institute for System Dynamics and Control Theory, Siberian Branch of Russian Academy of Sciences, PO Box 292, 664033 Irkutsk, Russia

Pith/arXiv arXiv