[논문 리뷰] Search for CAC-integrable homogeneous quadratic triplets of quad equations and their classification by BT and Lax

Jarmo Hietarinta|arXiv (Cornell University)|2018. 06. 22.

Nonlinear Waves and Solitons참고 문헌 9인용 수 5

한 줄 요약

이 논문은 대칭성과 단체성 성질 가정을 완화함으로써 3차원 격자 위의 CAC-적합한 동차 이차 삼중성의 분류를 수행한다. 바클란드 변환과 라크스 쌍 분석을 통해 모든 그러한 삼중성을 규명하고, 게이지 변환과 매개변수화를 통해 기존의 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).

연구 동기 및 목표

• 3차원 격자 위의 CAC-적합한 동차 이차 삼중성의 모든 경우를 대칭성 또는 단체성 성질을 가정하지 않고 분류하는 것.
• ABS 목록을 초월하여 서로 다른 평면에 다른 방정식을 允許하면서도 큐브 주위의 일致성은 유지하는 조건에서 분류를 확장하는 것.
• 바클란드 변환과 라크스 쌍의 품질 분석(진짜와 가짜 라크스 쌍을 구분)을 통해 해의 적합성과 통합 가능성의 분석을 수행하는 것.
• 다차원 일치성 조건 하에서 이차 방정식의 매개변수 공간을 체계적으로 탐색하고, 가능한 모든 일치하는 구성 요소를 식별하는 것.

제안 방법

• 큐브의 꼭짓점에 변수를 두고, 세 개의 수직 평면 각각에 대해 애फ인-선형, 기약 가능, 동차 이차 형식을 사용하여 3차원 격자 방정식을 수립한다.
• 3차원 격자에서의 일치성 보장을 위해 일치성-큐브(CAC) 조건을 적용하여 해의 일致성 전파를 보장한다.
• 게이지 변환을 적용하여 일반 형태의 방정식을 단순화하고 중복 매개변수를 제거한다.
• 바클란드 변환과 라크스 쌍 구성 분석을 통해 통합 가능성의 품질을 평가하고 가짜 라크스 쌍을 탐지한다.
• 계수 함수 c(α)의 구조에 따라 해를 분류하여, c(α) = εα인 경우는 Q1(δ=0)로, c(α) ∝ α/(α²−1)인 경우는 Q3(δ=0)로 이어지는 경우를 구분한다.
• 기호 계산을 수행하고 일치 조건 및 해 형태를 검증하기 위해 REDUCE 컴퓨터 대수 시스템을 활용한다.

실험 결과

연구 질문

• RQ1 대칭성 또는 단체성 성질을 가정하지 않을 경우, 3차원 격자 위의 동차 이차 삼중성 중 CAC-적합한 것은 무엇인가?
• RQ2 이 맥락에서 바클란드 변환과 라크스 쌍의 구조는 진짜 통합 가능 시스템과 비통합 가능 시스템을 어떻게 구분하는가?
• 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 목록에 속하는 방정식이 일반 분류의 특수한 경우로 복원됨을 확인한다.
• 분석 결과, c(α)의 구조를 통해 가짜 라크스 쌍을 식별할 수 있으며, 오직 진짜 라크스 쌍만이 일치하고 통합 가능한 시스템을 이끈다.