초기 데이터와 3×3 행렬식 일관성 문제에 관한 완전 증명

본 논문은 2차원 정수 격자 ℤ² 위에 정의된 스칼라 필드 u(i,j) 에 대해, 모든 3×3 기본 정사각형에 포함된 9개의 필드값이 만든 행렬식이 0이 되도록 하는 차분 방정식(식 (3))을 연구한다. 저자는 먼저 2×2 경우에 대한 기존 일관성 원리(각 2×2 정사각형에서 하나의 값이 나머지 세 값에 의해 결정되는 관계)를 요약하고, 이를 N≥3으로 일반화하는 필요성을 제시한다. 3×3 경우에는 행렬식이 선형이면서 전 대칭군에 불변인 특성을 갖지만, 초기값을 지정하는 데 필요한 자유도가 크게 늘어나며, 특히 20개의 초기값이 필요함을 보인다. 다음으로 ℤ³ 로 확장하여 “큐브 주위 일관성”(consistency‑around‑a‑cube) 개념을 정의한다. ℤ³ 의 기본 3×3×3 큐브 안에서 20개의 초기값(좌표축과 두 평면에 걸친 점들)을 지정하면, (3)식에 의해 나머지 7개의 점값을 결정할 수 있다. 그러나 u_{222}와 같은 최종 점에 대해서는 세 개의 서로 다른 3×3 정사각형이 동시에 만족해야 하는 과잉결정 시스템이 형성된다. 논문의 핵심 정리는, 일반 위치(generic) 초기값을 선택하면 이 과잉결정 시스템이 모순 없이 해를 갖는다는 것을 증명하는 것이다. 이를 위해 저자는 “굽은(bent) 3×3 정사각형”이라는 새로운 기하학적 구성을 도입한다. 두 개의 서로 교차하는 2차원 좌표 서브격자 사이에 공유되는 중간 선을 따라 정사각형을 구부리면, 모든 정점이 여전히 격자점에 남는다. 굽힌 정사각형을 포함한 총 48개의 정사각형이 하나의 3×3×3 큐브 안에 존재하며, 각각에 (3)식을 적용한다. 이렇게 하면 각 면과 내부 절단면뿐 아니라 굽힌 면까지 모두 일관성을 요구하게 된다. 논문은 구체적인 일반 위치 조건을 제시한다. 초기값은 0이 아닌 복소수이며, 어떠한 두 값도 선형 종속 관계를 이루지 않도록 하는 비특이성(non‑degeneracy) 조건이 필요하다. 이러한 조건 하에서, 저자는 대수적 도구(Gröbner basis 등)를 활용한 귀납적 증명을 전개한다. 먼저 3×3 정사각형의 행렬식 관계가 면마다 일관되게 만족함을 보이고, 그 다음 굽힌 정사각형에 대한 추가 관계가 기존 면 관계와 충돌하지 않음을 확인한다. 최종적으로, 모든 48개의 정사각형에서 얻어지는 방정식들이 서로 모순 없이 동시에 만족함을 증명한다. 결과적으로, 3×3 행렬식 기반 차분 방정식은 2차원 격자에서는 완전히 결정되지만, 3차원 격자에서는 “큐브 주위 일관성”을 만족한다는 새로운 클래스의 통합가능(integrable) 시스템으로 자리매김한다. 이는 기존 2×2 일관성 원리와는 다른 구조적 복잡성을 가지면서도, 적절한 초기 데이터 선택을 통해 다차원 일관성을 확보할 수 있음을 보여준다. 또한, 굽힌 정사각형을 포함한 확장된 일관성 개념은 차분 방정식의 다차원 일반화에 대한 새로운 연구 방향을 제시한다.