Identities involving the number of missing integers in partitions - combinatorial proofs

숫자 퍼즐 속에 숨겨진 빈틈

당신이 탐정이 되어 미스터리를 풀려고 한다고 상상해 보세요. 하지만 지문이나 발자국 대신, 당신의 단서는 숫자입니다. 이것이 바로 조합론(combinatorics)의 세계입니다. 조합론은 사물들이 어떻게 배열되고, 세어지고, 결합되는지를 연구하는 수학의 한 분야입니다. 이 특정 수학적 영역에서 주인공은 분할(partitions)입니다. 분할을 하나의 정수(예를 들어 10)를 원래의 합과 같아지는 더 작은 양의 조각들로 나누는 방법이라고 생각하세요. 예를 들어, 10을 5+5, 또는 3+3+2+2, 또는 심지어 1+1+1+1+1+1+1+1+1+1로 나눌 수 있습니다. 이것은 마치 거대한 레고 탑을 가지고, 같은 높이에 도달하기 위해 브릭들을 쌓는 모든 다른 방법들을 찾아내는 것과 같습니다.

수학자들은 이러한 배열 속의 "빠진 조각들"에 오랫동안 매료되어 왔습니다. 만약 당신이 5, 3, 1 크기의 브릭들을 사용하여 탑을 쌓는다면, 2나 4를 사용하지 않았다는 사실을 눈치챌 것입니다. 이것들을 빠진 정수(missing integers)라고 부릅니다. 보통 수학자들은 가장 작은 빠진 숫자만을 신경 썼지만, 최근에는 한 그룹의 연구자들이 가장 큰 브릭보다 작은 모든 빠진 숫자를 세우기로 결정했습니다. 그들은 이 빠진 숫자들과 다른 유형의 숫자 퍼즐들 사이의 놀라운 패턴과 공식들을 발견했습니다. 하지만 그들은 복잡한 대수학을 사용하여 이를 해결했습니다. 마치 견과류를 깨기 위해 망치를 사용하는 것과 같았죠. 그들은 이렇게 물었습니다. "우리가 실제로 블록들을 움직여 보고 어떤 일이 일어나는지 직접 확인함으로써 이 패턴들을 증명할 수 있을까?" 이것이 우리 논문의 이야기가 시작되는 지점입니다.

논문의 임무: 숫자를 계산하는 대신 블록을 움직이기

이 논문에서 저자인 조슬린 아니세토(Joselyne Aniceto)와 크리스티나 발란타인(Cristina Ballantine)은 이전 연구자들이 남긴 과제, 즉 조합론적 증명(combinatorial proofs)을 제공하는 데 도전합니다. 단순히 방정식을 적고 복잡한 대수학으로 푸는 대신, 그들은 도형(페러스 다이어그램이라 불리는, 상자 더미처럼 보이는 것들)을 사용하여 숫자를 마치 장난감처럼 다루며 왜 그 공식들이 작동하는지를 시각적이고 물리적인 이야기로 보여주고자 합니다.

저자들의 주요 발견은 서로 다른 두 가지 숫자 퍼즐 세계 사이에 "다리"를 건설할 수 있다는 것입니다. 한쪽에는 특정한 개수의 빠진 정수를 가진 분할이 있습니다. 다른 한쪽에는 서로 다른 유형의 분파 쌍(어떤 것은 고유한 부분을 가지고, 어떤 것은 반복되는 부분을 가짐)이 있습니다. 논문은 이 두 세계가 마치 저울처럼 완벽하게 균형을 이루고 있음을 증명합니다. 그들은 이 작업을 수행하기 위해 '인볼루션(involution)'이라는 특별한 게임을 만듭니다. 카드 뭉치가 섞여 있다고 상상해 보세요. 이 게임의 규칙은 "만에 A 유형의 카드가 있다면 B 유형으로 바꾸고, B 유형이 있다면 다시 A로 되돌려 놓으라"는 것입니다. 이 게임을 수행함으로써, 저자들은 대부분의 복잡한 사례들이 쌍을 이루어 서로 상쇄되어 사라지고, 공식들을 설명하는 단순하고 특별한 사례들만 남게 된다는 것을 보여줍니다.

그들은 이전에 대수적으로만 알려졌던 여러 항등식들을 성공적으로 증명했습니다. 예를 들어, 그들은 정확히 m개의 빠진 정수를 가진 숫자의 분할 방법의 수가, "고유한(distinct)" 분할(숫자가 반복되지 않는 분할)과 일반적인 분할을 짝지은 후, 맞지 않는 쌍들을 제거했을 때의 수와 정확히 같다는 것을 보여줍니다. 그들은 심지어 오버분할(overpartitions)로까지 이를 확장했는데, 오버분할은 일반적인 분할과 비슷하지만 약간의 반전이 있습니다. 숫자가 처음 등장할 때, 그것은 "위에 선이 그어진(overlined)" 상태(마치 모자를 쓴 것처럼)가 될 수 있습니다. 그들은 모자를 쓰는 규칙이 약간 다르긴 하지만, 동일한 "상쇄 게임"이 여기서도 작동한다는 것을 증명합니다.

그들의 연구에서 가장 흥激한 부분 중 하나는 숫자가 얼마나 자주 나타나는지에 대한 정리의 증명입니다. 그들은 만약 모든 가능한 숫자의 분할에서 숫자가 k번 미만으로 나타나는 횟수를 센다면, 그것이 k와 같지 않은 부분들의 수와 같다는 것을 보여줍니다. 그들은 박스 다이어그램의 가장자리를 다양한 기호(별, 점, 십자가 등)로 장식하고, 전체 개수를 바꾸지 않으면서 한 기호 집합을 다른 집합으로 변형할 수 있음을 보여줌으로써 이를 시각화합니다. 이는 마치 빨간 구슬과 파란 구슬이 있을 때, 빨간 것이 파란 것이 되고 파란 것이 빨간 것이 되는 새로운 패턴으로 재배열할 수 있음을 보여줌으로써 그 총합이 서로 연결되어 있음을 증명하는 것과 같습니다.

하지만 저자들은 자신들이 아직 하지 못한 부분에 대해서도 주의 깊게 언급합니다. 그들은 항등식(공식)에 대한 암호를 해독했지만, 원래 연구에서 발견된 합동식(congruences, 숫자를 나눌 때의 나머지 패턴)은 여전히 조합론적 증명이 부족하다는 점을 인정합니다. 또한, 그들의 또 다른 큰 정리의 오버분할 버전에 이 "빠진 정수" 논리를 적용하는 방법도 아직 찾지 못했습니다. 따라서 그들은 대수의 강을 가로지르는 아름다운 다리를 건설했지만, 강 건너편의 어떤 섬들은 여전히 길을 기다리고 있습니다. 그들의 작업은 단순히 "그것은 참이다"라고 말하는 것이 아니라, 조각들이 어떻게 서로 맞물리는지를 정확히 보여주며, 추상적인 수학을 누구나 따라갈 수 있는 구체적이고 시각적인 퍼즐로 바꾸어 놓았습니다.