[论文解读] Search for CAC-integrable homogeneous quadratic triplets of quad equations and their classification by BT and Lax

Jarmo Hietarinta|arXiv (Cornell University)|Jun 22, 2018

Nonlinear Waves and Solitons参考文献 9被引用 5

一句话总结

本论文通过放松对称性和四面体性质的假设，对三维格点上 CAC-可积的齐次二次三元组四元方程进行了分类。通过 Bäcklund 变换和 Lax 对分析，识别出所有此类三元组，利用规范变换和参数化方法恢复了已知的 ABS 列表方程，如 Q1(δ=0) 和 Q3(δ=0)，从而完成了在无先前对称性约束条件下对多维一致的二次格点方程的系统性分类。

ABSTRACT

We consider two-dimensional lattice equations defined on an elementary square of the Cartesian lattice and depending on the variables at the corners of the quadrilateral. For such equations the property often associated with integrability is that of "multidimensional consistency" (MDC): it should be possible to extend the equation from two to higher dimensions so that the embedded two-dimensional lattice equations are compatible. Usually compatibility is checked using "Consistency-Around-a-Cube" (CAC). In this context it is often assumed that the equations on the six sides of the cube are the same (up to lattice parameters), but this assumption was relaxed in the classification of Boll \cite{Boll2011}. We present here the results of a search and classification of homogeneous quadratic triplets of multidimensionally consistent lattice equations, allowing different equations on the three orthogonal planes (hence triplets) but using the same equation on parallel planes. No assumptions are made about symmetry or tetrahedron property. The results are then grouped by subset/limit properties, and analyzed by the effectiveness of their Bäcklund transformations, or equivalently, by the quality of their Lax pair (fake or not).

研究动机与目标

• 在不假设对称性或四面体性质的前提下，对三维格点上所有 CAC-可积的齐次二次三元组四元方程进行分类。
• 在允许正交平面上采用不同方程的同时，保持立方体周围的一致性，将分类拓展至 ABS 列表之外。
• 通过 Bäcklund 变换分析和 Lax 对质量（区分真实与虚假 Lax 对）评估解的可积性。
• 在多维一致性的约束下，系统探索二次方程的参数空间，识别出所有可能的一致性配置。

提出的方法

• 在立方体顶点定义变量，使用仿射线性、不可约、齐次的二次形式，在三个正交平面上定义方程。
• 应用围绕立方体的一致性（CAC）条件，以确保在三维格点上解的传播具有一致性。
• 利用规范变换简化方程的一般形式，消除冗余参数。
• 通过 Bäcklund 变换和 Lax 对构造分析系统可积性质量，并检测虚假 Lax 对。
• 基于系数函数 c(α) 的结构对解进行分类，区分 c(α) = εα（导致 Q1(δ=0)）和 c(α) ∝ α/(α²−1)（导致 Q3(δ=0)）的情况。
• 使用 REDUCE 计算代数系统执行符号计算，验证一致性条件和解的形式。

实验结果

研究问题

• RQ1 在不假设对称性或四面体性质的前提下，哪些三维格点上的齐次二次三元组四元方程是 CAC-可积的？
• RQ2 在此背景下，Bäcklund 变换和 Lax 对结构如何区分真实可积系统与非可积系统？
• RQ3 放松 ABS 分类标准假设后，会涌现出哪些完整的解族？
• RQ4 系数函数 c(α) 的不同形式如何导致已知方程如 Q1(δ=0) 和 Q3(δ=0)？
• RQ5 是否可以在不假设平行平面上方程相同的情况下完成分类，以及会涌现出哪些新解？

主要发现

• 分类结果产生两个主要族：一个对应 Q1(δ=0)，另一个对应 Q3(δ=0)，两者均通过规范变换和参数重定义恢复。
• 解 {63,63,63}-1 在规范变换后对应 Q1(δ=0)，其方程形式为 (q−p)(xŵx̃ + ŷx̃x) − q(xŷ + ŷx̃x) + p(x x̃ + ŷx̃x) = 0。
• 解 {63,63,63}-2 对应 Q3(δ=0)，其方程为 (q²−p²)(xŵx̃ + ŷx̃x) − p(q²−1)(xŷ + ŷx̃x) + (p²−1)q(x x̃ + ŷx̃x) = 0。
• Q1 与 Q3 的区别源于系数函数 c(α) 的因式分解性质：当 c(α) = εα 时导致 Q1，当 c(α) ∝ α/(α²−1) 时导致 Q3。
• 本文证实，即使在不假设对称性或四面体性质的情况下，ABS 列表方程仍可作为一般分类中的特例被恢复。
• 分析表明，虚假 Lax 对可通过 c(α) 的结构识别，仅真实 Lax 对能导致一致且可积的系统。