arxiv: 2604.24100 · v1 · submitted 2026-04-27 · 🌊 nlin.SI

Recognition: unknown

Discrete integrable equations with three independent variables

Aigul R. Khakimova, Ismagil T. Habibullin

Authors on Pith no claims yet

Pith reviewed 2026-05-07 17:17 UTC · model grok-4.3

classification 🌊 nlin.SI

keywords integrable equationsHirota-Miwa equationsToda latticesDarboux integrabilityLax pairscharacteristic integralsdiscrete systemsthree independent variables

0 comments

The pith

Integrable equations with three variables connect across Toda, semi-discrete, and Hirota-Miwa classes through Darboux reductions that survive discretization while keeping characteristic integrals.

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

The paper sets out to relate three families of nonlinear integrable equations with three independent variables by showing that each family reduces to a Darboux-integrable hyperbolic system in two variables. The transition from one family to another is achieved by discretizing or continualizing those reductions in a way that leaves the characteristic integrals intact. This correspondence lets the authors compare the known list of thirteen Hirota-Miwa type equations, prove that several are equivalent under simple point changes of variables, and arrive at a shorter list of seven distinct models. One additional equation appears by discretizing a semi-discrete Toda-type system inside the same framework, and the authors supply Lax pairs for every model in the final list.

Core claim

Integrable Toda-type, semi-discrete, and fully discrete Hirota-Miwa equations with three independent variables all admit reductions to Darboux-integrable hyperbolic systems; the reductions can be discretized or continualized while preserving characteristic integrals, establishing a correspondence that collapses the list of known Hirota-Miwa type equations from thirteen to seven, yields one new equation, and supplies Lax pairs for each of the seven models.

What carries the argument

Reductions of the three-dimensional equations to Darboux-integrable hyperbolic systems in two variables, together with discretization or continualization that preserves the characteristic integrals of those reductions.

If this is right

The known integrable Hirota-Miwa type equations with three independent variables consist of exactly seven distinct models up to point transformations.
Each of the seven models possesses an explicit Lax pair.
One new integrable equation is obtained by discretizing the semi-discrete Toda-type equations while retaining their characteristic integrals.
A direct correspondence exists at the level of reductions between Toda-type lattices, semi-discrete lattices, and fully discrete Hirota-Miwa models.
Several equations in the original list of thirteen are related to one another by point changes of variables.

Where Pith is reading between the lines

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

The same reduction-and-discretization procedure could be applied to other known integrable systems to generate additional candidate equations.
Characteristic integrals may serve as a general bridge between continuous and discrete integrable models in higher dimensions.
Numerical or algebraic checks on the new equation could quickly confirm whether it satisfies further integrability tests such as the existence of higher symmetries.
The correspondence might extend to equations outside the three families considered here once their own Darboux reductions are identified.

Load-bearing premise

That the reductions to Darboux-integrable hyperbolic systems keep the integrability of the original three-variable equations and that discretization preserves the characteristic integrals without destroying integrability.

What would settle it

An explicit point transformation relating any two of the seven final models that the paper treats as distinct, or a concrete example of an integrable Hirota-Miwa type equation whose reduction cannot be obtained from any of the seven by the described discretization process.

read the original abstract

In this paper, we study nonlinear integrable equations with three independent variables of the following types: Toda-type lattices, semi-discrete lattices, and fully discrete Hirota-Miwa type models. It is shown that integrable equations of all three types admit reductions in the form of Darboux-integrable hyperbolic systems. It is important that the transition from one class to another is carried out by means of discretization (continualization) of the above-mentioned reductions with preservation of characteristic integrals. In other words, at the level of reductions, one can establish some correspondence between the classes of 3D models under consideration. In the context of this correspondence, the authors managed to conduct a comparative analysis of the well-known list of integrable Hirota-Miwa type equations, containing 13 equations. It was established that some equations from this list are related by point changes of variables. As a result, the final list of known integrable Hirota-Miwa type equations was reduced to seven. One equation was obtained by discretizing the list of semi-discrete Toda-type equations using characteristic integrals in this paper, probably it is new. For all seven models, associated linear systems (Lax pairs) are given.

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 trims the Hirota-Miwa list from 13 to 7 by point equivalences and adds one new equation from discretizing semi-discrete Toda lattices, with Lax pairs supplied for each.

read the letter

The main takeaway is that this work organizes the known integrable Hirota-Miwa equations with three variables by showing several of the 13 listed models are equivalent under point changes of variables, leaving seven distinct ones. It also produces one new equation by discretizing reductions of semi-discrete Toda-type lattices while preserving their characteristic integrals, and it gives associated Lax pairs for all seven models. The comparative analysis across Toda-type, semi-discrete, and fully discrete classes is the clearest new piece.

Referee Report

2 major / 2 minor

Summary. The manuscript studies nonlinear integrable equations with three independent variables, including Toda-type lattices, semi-discrete lattices, and fully discrete Hirota-Miwa type models. It establishes that these admit reductions to Darboux-integrable hyperbolic systems and that transitions between classes can be effected by discretization or continualization of the reductions while preserving characteristic integrals. This correspondence is used to analyze a list of 13 known integrable Hirota-Miwa equations, show that some are related by point changes of variables (reducing the distinct models to seven), derive one new equation by discretizing semi-discrete Toda-type equations, and supply Lax pairs for all seven models.

Significance. If the preservation of characteristic integrals under discretization is rigorously established, the work would offer a systematic framework for relating and classifying three-dimensional integrable systems across different discretization levels. This could reduce redundancy in the literature on Hirota-Miwa equations and provide a method for constructing new integrable models, with the explicit Lax pairs serving as a concrete strength for verification and further research in integrable systems.

major comments (2)

[Section describing the discretization procedure using characteristic integrals] The central assertion that discretization (or continualization) of the Darboux-integrable hyperbolic reductions preserves the characteristic integrals (and thereby integrability and the associated Lax pairs) is load-bearing for the claimed correspondence between Toda-type, semi-discrete, and Hirota-Miwa classes and for the reduction of the list of 13 equations. The manuscript outlines the procedure but provides no explicit derivations or verification steps showing that the integrals remain unchanged in form and independence after the discretization map is applied to the specific reductions.
[Comparative analysis of the list of 13 equations] The claim that some of the 13 Hirota-Miwa equations are related by point changes of variables, allowing reduction to seven distinct models, requires explicit presentation of those transformations. Without the specific changes of variables and verification that they map solutions while preserving the integrable structure and characteristic integrals, the reduction of the list cannot be fully assessed.

minor comments (2)

The abstract states that one new equation was obtained but does not display its explicit form or the corresponding Lax pair; including these in a dedicated section or table would improve readability.
A table summarizing the original 13 equations, the point transformations relating them, and the final seven (plus the new one) would clarify the comparative analysis and equivalences.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and constructive suggestions. We address each major comment below and will revise the manuscript to strengthen the presentation of the key arguments.

read point-by-point responses

Referee: [Section describing the discretization procedure using characteristic integrals] The central assertion that discretization (or continualization) of the Darboux-integrable hyperbolic reductions preserves the characteristic integrals (and thereby integrability and the associated Lax pairs) is load-bearing for the claimed correspondence between Toda-type, semi-discrete, and Hirota-Miwa classes and for the reduction of the list of 13 equations. The manuscript outlines the procedure but provides no explicit derivations or verification steps showing that the integrals remain unchanged in form and independence after the discretization map is applied to the specific reductions.

Authors: We agree that explicit derivations are necessary to rigorously support the preservation of characteristic integrals. In the revised manuscript we will expand the relevant section with step-by-step calculations for each of the specific reductions under consideration, verifying that the integrals retain their form and independence after the discretization (or continualization) map is applied. This will also confirm the preservation of integrability and the associated Lax pairs. revision: yes
Referee: [Comparative analysis of the list of 13 equations] The claim that some of the 13 Hirota-Miwa equations are related by point changes of variables, allowing reduction to seven distinct models, requires explicit presentation of those transformations. Without the specific changes of variables and verification that they map solutions while preserving the integrable structure and characteristic integrals, the reduction of the list cannot be fully assessed.

Authors: We accept that the explicit transformations were not supplied in the submitted version. The revised manuscript will include the complete list of point changes of variables together with direct verification that each transformation maps solutions of one equation to solutions of another while preserving both the integrable structure and the characteristic integrals. This will make the reduction from thirteen to seven distinct models fully transparent and verifiable. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via external list and explicit constructions

full rationale

The paper analyzes an external, pre-existing list of 13 Hirota-Miwa equations, identifies point-change equivalences among them, reduces the list to seven, and derives one additional model by discretizing semi-discrete Toda-type equations while preserving characteristic integrals. Lax pairs are supplied as independent verification. No derivation step reduces a claimed prediction or uniqueness result to a fitted parameter, self-citation, or input by construction; the correspondence between equation classes is built from explicit reductions rather than assumed equivalence, rendering the argument self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard domain assumptions in integrable systems theory rather than new free parameters or invented entities.

axioms (2)

domain assumption Integrable equations with three independent variables admit reductions to Darboux-integrable hyperbolic systems
Invoked to establish the correspondence between Toda-type, semi-discrete, and Hirota-Miwa classes.
domain assumption Discretization and continualization preserve characteristic integrals
Key premise allowing the transition between classes while maintaining integrability.

pith-pipeline@v0.9.0 · 5514 in / 1420 out tokens · 49003 ms · 2026-05-07T17:17:37.096081+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

57 extracted references · 1 canonical work pages

[1]

V. E. Adler, A. B. Shabat, R. I. Yamilov, Symmetry approach to the integrability problem, Theoret. Math. Phys. 125 (3) (2000) 1603–1661

2000
[2]

N. Kh. Ibragimov, A. B. Shabat, Evolutionary equations with nontrivial Lie–Bäcklund group, Funct. Anal. Appl. 14 (1) (1980) 19–28

1980
[3]

A. V. Mikhailov, A. B. Shabat, R. I. Yamilov, The symmetry approach to the classification of non-linear equations. Complete lists of integrable systems, Russ. Math. Surv. 42 (4) (1987) 1–63

1987
[4]

S. I. Svinolupov, V. V. Sokolov, Evolution equations with nontrivial conservative laws, Funct. Anal. Appl. 16 (4) (1982) 317–319

1982
[5]

A. V. Zhiber, A. B. Shabat, The Klein–Gordon equation with nontrivial group, Doklady Akademii Nauk 247 (5) (1979) 1103–1107

1979
[6]

V. Sokolov. Algebraic structures in integrability, World Scientific, 2020

2020
[7]

N. H. Ibragimov, A. B. Shabat, Korteweg–de Vries equation from the group standpoint, Doklady Akademii Nauk 244 (1) (1979) 57–61

1979
[8]

D. Levi, P. Winternitz, Continuous symmetries of discrete equations, Physi. Lett. A 152 (7) (1991) 335–338

1991
[9]

D. Levi, R. Yamilov, Conditions for the existence of higher symmetries of evolutionary equations on the lattice, J. Math. Phys. 38 (12) (1997) 6648–6674

1997
[10]

A. V. Mikhailov, R. I. Yamilov, Towards classification of (2+1)- dimensional integrable equations. Integrability conditions: I, J. Phys. A: Math. Gen. 31 (1998) 6707–6715. 36

1998
[11]

Habibullin, Characteristic Lie rings, finitely-generated modules and integrability conditions for (2+ 1)-dimensional lattices, Phys

I. Habibullin, Characteristic Lie rings, finitely-generated modules and integrability conditions for (2+ 1)-dimensional lattices, Phys. Scr. 87 (6) (2013) 065005

2013
[12]

M. N. Poptsova, I. T. Habibullin, Algebraic properties of quasilinear two-dimensional lattices connected with integrability, Ufa Math. J., 10 (3) (2018) 86–105

2018
[13]

M. N. Kuznetsova, Classification of a subclass of quasilinear two- dimensional lattices by means of characteristic algebras, Ufa Math. J., 11 (3) (2019) 109–131

2019
[14]

I. T. Habibullin, M. N. Kuznetsova, A classification algorithm for in- tegrable two-dimensional lattices via Lie–Rinehart algebras, Theoret. Math. Phys. 203 (1) (2020) 569–581

2020
[15]

A. B. Shabat, R. I. Yamilov, To a transformation theory of two- dimensional integrable systems, Phys. Lett. A 227 (1–2) (1997) 15–23

1997
[16]

E. V. Ferapontov, Laplace transformations of hydrodynamic-type sys- tems in Riemann invariants, Theoret. Math. Phys. 110 (1) (1997) 68–77

1997
[17]

I. T. Habibullin, A. R. Khakimova, Characteristic Lie algebras of inte- grable differential-difference equations in 3D, J. Phys. A: Math. Theor. 54 (29) (2021) 295202, 34 pp

2021
[19]

I. T. Habibullin, A. R. Khakimova, Algebraic reductions of discrete equations of Hirota-Miwa type, Ufa Math. J., 14 (4) (2022) 113–126

2022
[20]

A. R. Khakimova, Darboux-integrable Reductions of the Hirota-Miwa Type Discrete Equations, Lobachevskii Journal of Mathematics 45 (2024) 2717–2728

2024
[21]

A. B. Shabat, R. I. Yamilov, Exponential systems of type I and Cartan matrices, Preprint, BFAN SSSR, Ufa (1981) (in Russian). 37

1981
[22]

A. V. Zhiber, R. D. Murtazina, I. T. Habibullin, A. B. Shabat, Charac- teristic Lie rings and nonlinear integrable equations, M. Izhevsk, 2012 (in Russian)

2012
[23]

D. K. Demskoi, Integrals of open two-dimensional lattices, Theor. Math. Phys., 163 (1) (2010) 466–471

2010
[24]

S. V. Smirnov, Darboux integrability of discrete two-dimensional Toda lattices, Theoret. Math. Phys. 182 (2) (2015) 189–210

2015
[25]

I. T. Habibullin, A. U. Sakieva, On integrable reductions reductions of two-dimensional Toda-type lattices, Part. Diff. Eq. Appl. Math., 11 (2024) 100854, 9 pp

2024
[26]

V. V. Sokolov, A. V. Zhiber, On the Darboux integrable hyperbolic equations, Phys. Lett. A 208 (4-6) (1995) 303–308

1995
[27]

A. V. Zhiber, V. V. Sokolov, Exactly integrable hyperbolic equations of Liouville type, Russian Math. Surveys, 56 (1) (2001) 61–101

2001
[28]

A. V. Zhiber, S. Ya. Startsev, Integrals, Solutions, and Existence Prob- lems for Laplace Transformations of Linear Hyperbolic Systems, Math. Notes 74 (6) (2003) 803–811

2003
[29]

A. M. Gurieva, A. V. Zhiber, Laplace Invariants of Two-Dimensional Open Toda Lattices, Theoret. Math. Phys. 138 (3) (2004) 338–355

2004
[30]

O. S. Kostrigina, A. V. Zhiber, Darboux-integrable two-component non- linear hyperbolic systems of equations, J. Math. Phys. 52 (3) (2011) 033503, 32 pp

2011
[31]

I. T. Habibullin, M. N. Kuznetsova, An algebraic criterion of the Dar- boux integrability of differential-difference equations and systems, J. Phys. A: Math. Theor. 54 (2021) 505201, 20 pp

2021
[32]

I. T. Habibullin, A. R. Khakimova, Integrals and characteristic alge- bras for systems of discrete equations on a quadrilateral graph, Theoret. Math. Phys. 213 (2) (2022) 1589–1612

2022
[33]

116 (1) (1998) 782–819

A.V.Zabrodin, HirotaequationandBetheansatz, Theoret.Math.Phys. 116 (1) (1998) 782–819. 38

1998
[34]

V.E.Adler, S.Ya.Startsev, DiscreteanaloguesoftheLiouvilleequation, Theoret. Math. Phys. 121 (2) (1999) 1484–1495

1999
[35]

I. T. Habibullin, A. R. Khakimova, Nonlinear integrable lattices with three independent variables, Ufa Math. J. 17 (2) (2025) 105–119

2025
[36]

I. T. Habibullin, A. R. Khakimova, Integrable discrete systems, Mat. Sb. 217 (6) (2026) (in press)

2026
[37]

A. R. Khakimova, On the method of discretization of three-dimensional equations of the semi-discrete Toda type lattice, Ufa Math. J. 18 (2) (2026) (in press)

2026
[38]

Gürel, I

B. Gürel, I. Habibullin, Boundary conditions for two-dimensional inte- grable chains, Phys. Lett. A 233 (1) (1997) 68–72

1997
[39]

Gürel, M

B. Gürel, M. Gürses, I. Habibullin, Boundary value problems compatible with symmetries, Phys. Lett. A 190 (3-4) (1994) 231–237

1994
[40]

I. T. Habibullin, A. R. Khakimova, Construction of exact solutions of nonlinear PDE via dressing chain in 3D, Ufa Math. J. 16 (4) (2024) 124–135

2024
[41]

R. N. Garifullin, I. T. Habibullin, On a class of exact solutions of the Ishimori equation, Physica D: Nonlinear Phenomena 480 (2025) 134746, 6 pp

2025
[42]

I. T. Habibullin, A. R. Khakimova, On the construc- tion of solutions of the Davey–Stewartson I equation using an open Toda chain, Regul. Chaotic Dyn. 12 pp. (2025), https://doi.org/10.1134/S1560354725530036

work page doi:10.1134/s1560354725530036 2025
[43]

R. N. Garifullin, I. T. Habibullin, On the symmetry classification of integrable chains in 3D. Darboux-integrable reductions and their higher symmetries, J. Phys. A: Math. Theor. 59 (2026) 105202

2026
[44]

Habibullin, N

I. Habibullin, N. Zheltukhina, A. Sakieva, Discretization of hyperbolic type Darboux integrable equations preserving integrability, J. Math. Phys. 52 (9) (2011) 093507. 39

2011
[45]

E. I. Ganzha, S. P. Tsarev, Classical Methods of Integration of Hyper- bolic Systems and Second-Order Equations, Krasnoyarsk: KGPU, 2007 (in Russian)

2007
[46]

Hirota, Discrete analogue of a generalized Toda equation, J

R. Hirota, Discrete analogue of a generalized Toda equation, J. Phys. Soc. Japan 50 (1981) 3785–3791

1981
[47]

Miwa, On Hirota’s difference equation, Proc

T. Miwa, On Hirota’s difference equation, Proc. Japan Acad. 58 ser. A (1982) 9–12

1982
[48]

Kuniba, T

A. Kuniba, T. Nakanishi and J. Suzuki, T-systems and Y-systems in integrable systems, J. Phys. A: Math. Theor. 44 (2011) 103001 (146pp)

2011
[49]

Zabrodin, A survey of Hirota’s difference equations, Theor

A. Zabrodin, A survey of Hirota’s difference equations, Theor. Math. Phys. 113 (1997) 1347–1392

1997
[50]

E. Date, M. Jimbo and T. Miwa, Journ. Phys. Soc. Japan 51 (1982) 4125

1982
[51]

F. W. Nijhoff, The direct linearizing transform for three-dimensional lattice equations, Physica 18D (1986) 380–381

1986
[52]

F. W. Nijhoff, H. W. Capel, G. L. Wiersma and G. R. W. Quis- pel, Bäcklund transformations and three-dimensional lattice equations, Phys. Lett. A 105, no. 6 (1984) 267–272

1984
[53]

L. V. Bogdanov and B. G. Konopelchenko, Analytic-bilinear approach to integrable hierarchies. II. Multicomponent KP and 2D Toda lattice hierarchies, J. Math. Phys. 39 (9) (1998) 4701–4728

1998
[54]

F. W. Nijhoff and H. W. Capel, The direct linearization approach to hierarchies of integrable PDEs in 2+1 dimensions. I. Lattice equations and the differential-difference hierarchies, Inverse Problems 6 (4) (1990) 567–590

1990
[55]

B. G. Konopelchenko and W. K. Schief, Menelaus’ theorem, Clifford configurations and inversive geometry of the Schwarzian KP hierarchy, J. Phys. A 35 (29) (2002) 6125–6144

2002
[56]

Krichever, O

I. Krichever, O. Lipan, P. Wiegmann, A. Zabrodin, Quantum integrable models and discrete classical Hirota equations, Commun. Math. Phys. 188 (2) (1997), 267–304. 40

1997
[57]

Doliwa, Lattice geometry of the Hirota equation

A. Doliwa, Lattice geometry of the Hirota equation. SIDE III–symmetries and integrability of difference equations (Sabaudia, 1998), 93-100, CRM Proc. Lecture Notes, 25, Amer. Math. Soc., Provi- dence, RI, (2000)

1998
[58]

E. V. Ferapontov, V. S. Novikov, I. Roustemoglou, On the classifica- tion of discrete Hirota-type equations in 3D, International Mathematics Research Notices 2015 (13), 4933–4974. 41

2015