On degenerate geometric rank

당신이 숫자로 이루어진 거대한 다층 상자 속에 숨겨진 미스터리를 풀려는 탐정이라고 상상해 보십시오. 수학의 세계에서 이러한 상자들을 **텐서(tensor)**라고 부릅니다. 여러분은 아마도 이들을 2차원의 평평한 격자인 행렬(matrix)의 3차원 사촌으로 알고 있을 것입니다. 행렬이 스프레드시트와 같다면, 텐서는 여러 장의 스프레드시트를 겹쳐서 붙여놓은 것과 같습니다. 이들은 컴퓨터가 당신의 얼굴을 인식하는 법을 배우는 방식부터 물리학자들이 우주를 모델링하는 방식에 이르기까지 모든 것의 핵심 비법입니다.

이 상자들 안에 무엇이 들어있는지 이해하기 위해 수학자들은 **계수(rank)**라는 도구를 사용합니다. 계수를 "무질서함"이나 복잡성의 척도로 생각하십시오. 단순하고 완벽하게 정리된 상자는 낮은 계수를 가지며, 혼란스럽고 뒤섞인 상자는 높은 계수를 가집니다. 최근에는 이 복잡성을 측정하는 새로운 방법인 **기하학적 계수(geometric rank)**가 발명되었습니다. 기하학적 계수는 단순히 숫자를 세는 대신, 숫자들이 형성하는 모양을 살펴봅니다. 그것은 다음과 같이 질문합니다: "만약 내가 이 상자에서 '단순한'(낮은 계수의) 부분들을 찾는다면, 그 부분들이 차지하는 공간은 얼마나 큰가?" 보통 이러한 단순한 부분들은 아주 작고 흩어져 있는 점들에 불과합니다. 하지만 때때로, 이들은 놀랍도록 크고 예상치 못한 구름을 형성하기도 합니다. 이런 일이 발생할 때, 우리는 그 텐서가 **퇴화된 기하학적 계수(degenerate geometric rank)**를 가졌다고 말합니다. 이것은 마치 몇 방울의 물방울만 있을 것이라고 예상했던 곳에서 거대한 바다를 발견하는 것과 같습니다.

이 논문은 이러한 "바다"를 추적하고 그것들이 어디에서 왔는지 밝혀내는 것에 관한 것입니다. 저자인 마테이 돌레잘렉(Matej Doležek), 파베우 피엘라사(Paweł Pielasa), 데릭 우(Derek Wu)는 큰 질문을 던지고 있습니다: 우리가 이 기묘한 퇴화된 계수를 가진 텐서를 발견했을 때, 그것은 우리가 아직 보지 못한 더 크고 단순한 퍼즐의 일부일까요? 아니면 더 큰 것으로 확장되거나 "리프트(lift)"될 수 없는 독특하고 독립적인 괴물일까요? 그들은 이 둘을 구분하는 일련의 규칙을 증명합니다. 또한 그들은 특정 유형의 미스터리를 조사합니다: 만약 "단순한" 부분들이 너무 단순해서 단 하나의 선(계수 1)에 불과하다면 어떤 일이 벌어질까요? 그들은 만약 이것이 큰 놀라움을 일으킨다면, 그 텐서는 대개 매우 구체적이고 평범한 비밀(예를 들어 평평한 종이나 대칭적인 패턴)을 숨기고 있음을 보여줍니다. 마지막으로, 그들은 퇴화된 계수가 단순히 평평한 종이나 단순한 패턴이 아닌 사례들을 찾기 위해 보물 찾기를 떠납니다. 그들은 곡선 형태의 비선형적인 모양을 포함하는 새롭고 흥미로운 사례들을 몇 가지 찾아냈지만, 동시에 놀라운 규칙 하나를 발견했습니다: 이 기묘한 경우들에서도, 비선형적인 모양은 결코 유일한 원인이 될 수 없으며, 항상 동일한 퇴화된 계수를 달성하는 지루한 선형적인 부분이 배경에 숨어 있다는 것입니다.

"리프트(Lift)"와 "중립적(Neutral)" 방향의 이야기

저자들은 **리프트 가능성(liftability)**이라는 개념을 다루는 것으로 시작합니다. 작은, 평평한 양단(행렬 공간)이 있고 그 위에 이상하게 큰 물웅덩이가 있다고 상상해 보십시오. 당신은 "이 작은 양단이, 역시 큰 물웅덩이를 가진 훨씬 더 큰 양단의 아주 작은 모퉁이에 불과한 것일까?"라고 궁금해할 것입니다. 만약 답이 '그렇다'라면, 작은 양단은 큰 양단으로 "리프트"됩니다. 만약 답이 '아니오'라면, 그 양단은 "리프트 불가능(unliftable)"합니다. 즉, 그것이 전체 이야기인 것입니다.

이를 알아내기 위해 저자들은 **계수-중립적 방향(rank-neutral directions)**을 이용한 영리한 테스트를 고안했습니다. 양단 위의 물웅덩이 가장자리를 상상해 보십시오. 가장자리의 모든 지점에는 양단을 밀었을 때 물웅덩이가 커지거나 작아지지 않게 하는 특정한 방향이 있습니다. 이것들이 "중립적"인 방향입니다. 저자들은 강력한 규칙을 증명했습니다: 만약 당신이 양단을 밀 수 있는 방향 중 중립적이지 않은 방향을 단 하나라도 찾을 수 있다면, 그 양단은 더 큰 것으로 리프트될 수 있습니다. 하지만, 당신이 시도하는 모든 가능한 방향이 중립적이라면, 그 양단은 고정되어 있습니다. 그것은 리프트될 수 없습니다. 그것은 자신의 최종적이고 변하지 않는 버전입니다. 그들은 심지어 이러한 특정 사례들을 확인하기 위한 디지털 돋보기 역할을 하는 디지털 프로그램까지 구축했습니다.

계수-1 로커스(Rank-1 Locus)의 사례

다음으로, 팀은 특정 유형의 물웅덩이인 **계수-1 로커스(rank-1 locus)**에 집중했습니다. 텐서의 세계에서 "계수 1"은 단 하나의 직선처럼 가장 단순한 가능한 상태를 의미합니다. 보통 이러한 선들은 너무 희귀해서 큰 모양을 형성하지 못합니다. 하지만 때때로, 이 선들은 뭉쳐서 거대한 퇴화된 계수를 형성합니다.

저자들은 질문했습니다: "만약 계수-1 선들이 계수가 퇴화된 유일한 이유라면, 그 텐트는 어떤 모습일까?" 그들은 두 가지 가능성만이 존재함을 증명했습니다. 텐서가 계수-1 선들의 거대한 평평한 시트(선형 부분 공간)를 숨기고 있거나, 혹은 2x2 대칭 행렬(수학에서 잘 알려진 특정 형태)의 공간과 정확히 일치하거나 둘 중 하나입니다. 그들은 만약 두 번째 경우라면, "계수-2" 선들(약간 더 복잡한 선들) 또한 퇴화를 일으킨다는 것을 보여주었습니다. 이는 계수-1 선들만이 진정으로 흥미롭고 복잡한 방식으로 놀라움을 일으키는 상황은 존재할 수 없음을 의미합니다. 만약 계수-1 선들이 범인이라면, 그것들은 지루하게 평평하거나 매우 특정한 알려진 패턴의 일부일 뿐입니다.

보물 찾기: 비선형적인 놀라움

마지막으로, 저자들은 "성배"를 찾아 나섰습니다: 퇴화된 계수가 **비선형(nonlinear)**적인 모양으로부터 오는 텐서를 찾는 것입니다. 선형적인 모양은 직선이나 평면과 같습니다. 비선형적인 모양은 구(sphere)나 꼬인 리본처럼 곡선 형태를 띱니다. 그들의 희망은 "큰 물웅덩이"가 단순한 평평한 시트로 설명될 수 없는 곡선 형태의 복잡한 모양인 텐서를 찾는 것이었습니다.

그들은 몇 가지 매혹적인 사례들을 발견했습니다:

• 행렬 곱셈(Matrix Multiplication): 그들은 두 $n \times n$ 행렬을 곱하는 것을 나타내는 텐서를 조사했습니다. 그들은 임의의 크기 $n$에 대해, 이 텐서가 특정 계수들에 대해 "리프트 불가능"함을 확인했습니다. 그것은 고집스럽고 독립적인 객체입니다.
• 팔원수(Octonions): 그들은 일반적인 곱셈 규칙을 깨뜨리는 8차원 수 체계인 팔원수의 구조를 조사했습니다. 그들은 이 체계의 "계수-4" 부분이 곡면(hypersurface)을 형성하여 퇴화를 일으킨다는 것을 발견했습니다. 그들은 이 모양이 더 큰 공간으로 리프트될 수 없음을 확인했습니다.
• 최소 경계 계수(Minimal Border Rank): 그들은 알려진 "최소" 텐서(가장 효율적인 것들) 목록을 훑었으며, 계수 로커스가 곡선적이고 복잡한 8가지 특정 사례를 찾아냈습니다.

그러나 그들의 탐사는 반전과 함께 끝났습니다. 그들은 비선형적인 모양이 퇴화된 계수를 유발할 수 있는 많은 사례를 찾았지만, 그 중 어느 것도 퇴화의 유일한 원인은 아니라는 것을 발견했습니다. 그들이 찾은 모든 사례에서, 동일한 퇴화된 계수를 달성하는 지루하고 평평한 선형적인 모양이 해당 텐서 안에 똑같이 숨어 있었습니다. 즉, 비선형적인 모양이 퇴화된 기하학적 계수를 일으킬 수는 있지만, 그것이 단독으로 해내는 일은 없습니다. 비선형적인 모양은 화려한 장식일 뿐, 항상 선형적인 파트너가 공범으로서 함께합니다.

이 논문은 퇴화된 기하학적 계수의 세계가 흥미롭고 곡선적인 놀라움으로 가득 차 있지만, "리프트 불가능성"과 "퇴화"는 종종 우리가 이미 이해하고 있는 더 단순한 선형 구조에 의해 주도된다는 결론을 내립니다. 비선형적인 모양은 눈길을 끄는 장식일 수 있지만, 선형적인 것들이 그 토대입니다.