3차원 적분 가능한 스칼라 이산 방정식의 전면적 분류

본 연구는 “3‑차원 스칼라 이산 쿼실리니어 방정식 Q=0”을 대상으로, 4‑차원 격자에서의 (n+1)‑차원 일관성 조건과 정육면체 대칭군의 완전 불변성을 동시에 만족하는 방정식들을 전산적으로 분류한다. 첫 번째 장에서는 이산 미분기하학의 배경과, 연속 미분방정식의 변환으로서 이산 시스템이 어떻게 등장하는지를 서술한다. 특히, 2‑차원에서의 ABS 분류와 그 성공 사례들을 소개하고, 3‑차원으로 차원을 확장했을 때 발생하는 새로운 도전 과제를 제시한다. 두 번째 장에서는 정확한 정의를 제시한다. n‑차원 격자 Z^n 의 기본 큐브 K_n 에서 각 정점에 복소수 스칼라 변수 f_{i_1…i_n} 를 할당하고, 방정식 Q_n(f)=0 은 이 2^n 개 변수에 대한 다항식이다. “쿼실리니어”라는 제약은 각 변수에 대한 차수가 0 또는 1 로 제한된다는 의미이며, 이는 선형성(affine linear) 조건을 일반화한 형태이다. (n+1)‑차원 일관성은 Z^{n+1} 의 모든 단위 (n+1)‑큐브에 대해, 초기 3개의 n‑면에서 정의된 값으로부터 마지막 3개의 n‑면을 계산했을 때, 최종 변수 f_{111…1} 의 값이 동일하게 도출되는지를 검사한다. 세 번째 장에서는 정육면체 대칭군(48개의 원소) 하에서 Q_n이 어떻게 변환되는지를 분석한다. 각 반사 변환 R에 대해 Q(f)=±Q(R·f) 를 만족하도록 계수 q_D 를 결정한다. 이를 위해 모든 가능한 부호 조합을 열거하고, 각 경우에 대해 선형 방정식 시스템을 구성한다. n=2,3,4 에 대해 각각 2^2·2^2, 2^3·2^3, 2^4·2^4 개의 계수가 존재하므로, 방정식 수는 급격히 증가한다. 전산 구현은 Reduce와 FORM을 이용해 방정식 시스템을 자동 생성하고, Crack 패키지를 통해 희소 선형 시스템을 효율적으로 해석한다. 특히 n=3 에서는 약 770개의 방정식과 256개의 미지수가 등장하며, n=4 에서는 250 000개 이상의 방정식과 65 536개의 미지수가 발생한다. 이러한 대규모 계산을 통해 비자명한 해가 존재하는 대칭 유형을 식별한다. 표 1은 각 차원별 가능한 대칭 유형, 자유 파라미터 수, 그리고 SL(2,ℂ) 불변 하위 사례의 개수를 정리한다. n=2 에서는 (+−), (−+), (++) 세 유형이 존재하고, 각각 1, 3, 6개의 파라미터를 가진다. n=3 에서는 (+++), (−−−), (−++) 세 유형이 나오며, 특히 (−−−) 유형은 1개의 파라미터와 24개의 항을 가진다. 이 (−−−) 형태는 다음과 같이 명시된다:  Q = (f_{100}−f_{001})(f_{010}−f_{111})(f_{101}−f_{110})(f_{011}−f_{001})   −(f_{001}−f_{010})(f_{111}−f_{100})(f_{000}−f_{101})(f_{110}−f_{011}) 이 식은 기존 문헌에서 dBKP(Discrete Schwarzian BKP) 시스템으로 알려진 방정식과 동일하며, 4‑차원 일관성을 만족함이 이미 증명된 바 있다. 또한, 이 방정식은 전역적인 SL(2,ℂ) 변환 f→(af+b)/(cf+d) 에 대해 불변이며, 이는 해당 대칭 클래스 내 유일성에 기인한다. 다른 대칭 유형들, 예를 들어 (−++) 혹은 (+++) 은 방정식 자체는 존재하지만, (n+1)‑차원 일관성을 검사했을 때 모순이 발생하거나, 결국 선형화 가능한 형태(예: 로그 선형 관계)로 귀결된다. 따라서 비선형적이고 비자명한 적분 가능한 3‑차원 스칼라 방정식은 오직 dBKP 하나뿐이라는 결론에 도달한다. 마지막 장에서는 결과의 의미를 논한다. dBKP 시스템은 다양한 기하학적 해석(예: 이산 Schwarzian 곡면, Moutard 변환)과 연결되며, SL(2,ℂ) 대칭은 복소수 프로젝트ive 변환군과의 깊은 연관성을 시사한다. 또한, 본 연구에서 사용된 전산 대수 기법은 고차원 이산 시스템의 분류 문제에 강력한 도구가 될 수 있음을 보여준다. 향후 연구 방향으로는 비쿼실리니어 형태, 비대칭 대칭군, 그리고 연속 극한을 통한 새로운 연속 적분 가능한 PDE의 발견이 제시된다.