$B_h$-sets of real and complex numbers

숫자들이 거대한 무한 주방의 재료와 같은 세상을 상상해 보십시오. 이 주방에서 수학자들은 특정 게임에 집착하고 있습니다. 바로 재료들을 섞어서 어떤 새로운 맛(합)을 만들어내는지 보는 것입니다. 이 분야는 **가법 정수론(additive number theory)**이라 불리며, 숫자들의 집합이 더해질 때 어떻게 행동하는지를 이해하는 것에 관한 것입니다. 핵심 질문은 단순하지만 까다롭습니다. 만약 당신이 어떤 숫자 그룹을 가져와서 가능한 모든 방식으로 더한다면, 과연 똑같은 결과가 두 번 나올 수 있을까요? 예를 들어, 1, 2, 3이라는 숫자가 있다면 4를 만드는 방법은 두 가지입니다: $1+3$과 $2+2$. 이것이 바로 "충돌(collision)"입니다. 하지만 당신이 숫자를 아주 신중하게 고른다면, 모든 가능한 합이 마치 지문처럼 유일한 결과를 내는 그룹을 찾을 수도 있습니다. 이러한 특별한 그룹들을 $B_h$-집합(또는 $h=2$인 경우 사이돈(Sidon) 집합)이라고 부릅니다. 이들은 "완벽하게 유일한" 재료들입니다. 왜 우리가 이것에 관심을 가질까요? 이 유일한 집합들은 효율적인 통신 시스템, 암호학, 그리고 심지어 오류 없는 코드를 설계하는 방식의 근간이 되기 때문입니다. 이것은 수학적으로 단 하나의 열쇠만을 가진 자물쇠와 같습니다.

이제 당신이 이 완벽한 재료 그룹을 찾으려는 요리사라고 상상해 보십시오. 당신은 매우 정밀하게, 마치 외과 의사처럼 숫자를 골라야만 할 것이라고 생각할지도 모릅니다. 숫자를 아주 조금만 건드려도 이 완벽한 구조가 무너져 버릴까 봐 걱정할 수도 있습니다. 멜빈 B. 나탄슨(Melvyn B. Nathanson)의 이 논문은 놀라운 질문을 던집니다: 이 완벽한 그룹을 찾는 것이 실제로 어려운 일일까요? 아니면 당신이 무작위로 숫자 한 줌을 집어 든다면 거의 확실하게 완벽한 집합을 얻게 될 만큼 그것들이 흔한 것일까요? 이 논문은 실수와 복소수의 광활한 우주에서 "완벽함"이 사실은 일반적인 현상임을 증명합니다. 결론적으로, 당신이 무작위로 뽑은 거의 모든 숫자 모음은 $B_h$-집합입니다. 합이 충돌하는 "나쁜" 모음들은 너무 희귀하고 흩어져 있어서, 멀리서 조망하면 보이지 않습니다. 이 논문은 단순히 추측하는 데 그치지 않고, 이러한 완벽한 집합들이 "조밀한 열린(dense open)" 공간을 형성한다는 것을 보여줌으로써, 즉 그들이 어디에나 존재하며 작은 변화에도 견고하다는 것을 엄격한 수학적 증명을 통해 입증합니다.

유일한 합의 마법

이 특별한 숫자 그룹들의 이야기를 깊이 파헤쳐 봅시다. 수학의 세계에서 우리는 종종 $A = \{a_1, a_2, \dots, a_n\}$과 같은 숫자 집합을 살펴봅니다. 만약 이 집합에서 $h$개의 숫자(같은 숫자를 여러 번 선택할 수 있음)를 뽑아 더한다면, 우리는 "합"을 얻게 됩니다. 어떤 집합이 $B_h$-집합이라고 불리는 조건은 당신이 만들 수 있는 모든 가능한 합이 유일할 때입니다. 서로 다른 조합의 재료들이 동일한 총합을 만들어낼 수 없습니다.

이것을 음악의 화음이라고 생각해 보십시오. 만약 당신이 C, E, G 음으로 화음을 연주한다면, 그것은 특정한 소리입니다. 만약 당신에게 $B_h$-집합이 있다면, 당신이 음들을 조합하는 모든 방식(예: C+C+E 또는 E+G+G)은 다른 어떤 조합도 흉내 낼 수 없는 완전히 독특한 소리를 만들어냅니다. 만약 두 가지 서로 다른 조합이 같은 소리를 낸다면, 그 집합은 "지저분하거나" "불완전한" 것이 됩니다. 이 논문은 실수(1.5, $\pi$, -3.2 등)와 허수 단위 $i$를 포함하는 복소수 집합에 초점을 맞춥니다.

거대한 발견: "거의 모든 것"은 완벽하다

이 논문의 주요 발견은 다소 직관에 어긋납니다. 당신은 합이 하나도 충돌하지 않는 집합을 찾는 것이 마치 건더기 속에서 바늘을 찾는 것처럼 드물고 어려운 사건일 것이라고 예상할 수 있습니다. 그러나 나탄슨은 그 반대를 증명합니다: 거의 모든 숫자 집합은 실제로 완벽한 $B_h$-집합입니다.

이를 이해하기 위해, $n$개의 숫자로 이루어진 가능한 모든 집합의 공간을 거대한 다차원 방이라고 상상해 보십시오. 이 방의 모든 점은 서로 다른 숫자 집합을 나타냅니다. 이 논문은 "나쁜" 점들(합이 충돌하는 지점들)이 이 방에 떠다니는 아주 작고 고립된 먼지 알갱이와 같다는 것을 보여줍니다. "좋은" 점들(완벽한 $B_h$-집합들)은 방 전체를 채우고 있습니다.

저자들은 이 "방"에 대해 두 가지 주요 사항을 증명합니다:

1. 열려 있다(Open): 만약 당신이 완벽한 집합을 가지고 있고, 숫자를 아주 조금만 흔들어 놓는다면(예: 1.0을 1.0001로 바꾸는 것), 그 집합은 여전히 완벽함을 유지합니다. "좋은" 집합들은 안정적입니다. 당신은 줄타기를 하는 것이 아니라 단단한 땅 위에 서 있는 것입니다.
2. 조밀하다(Dense): 당신이 방 안 어디에 있든, 설령 합이 충돌하는 "나쁜" 집합 위에 서 있다 하더라도, 어느 방향으로든 아주 작은 발걸음을 내디디면 "좋은" 집합 위로 착륙할 수 있습니다. 완벽한 집합들은 어디에나 있습니다.

이 논문은 이를 증명하기 위해 영리한 트릭을 사용합니다. 당신이 서로 다른 숫자 조합이 우연히 같은 총합을 만들어내는 "나쁜" 집합을 가지고 있다고 가정해 봅시다. 저자들은 만약 당신이 당신의 숫자들에 아주 작은 무작위 "충격(shock)"을 가한다면, 새로운 충돌을 만들지 않으면서도 그 우연한 등식을 깨뜨릴 수 있다는 것을 보여줍니다. 이것은 라디오를 튜닝하는 것과 같습니다. 만약 두 방송국이 같은 주파수에서 방송하고 있다면(충돌), 다이얼을 아주 살짝만 돌려도 두 방송국을 분리할 수 있습니다. 그리고 사용할 수 있는 주파수가 매우 많기 때문에, 다른 방송국과 우연히 부딪히는 일도 발생하지 않습니다.

"거의 모든 것"의 보장

논문은 한 단계 더 나아갑니다. 저자들은 모든 가능한 $h$ 값에 대해 완벽한 집합들(즉, 재료의 개수가 2개, 3개, 4개... 등으로 계속 변하더라도 항상 완벽한 집합)을 포함하는 $B_\infty$라는 집합을 정의합니다. 저자들은 **베르의 정리(Baire's theorem)**라는 유명한 수학적 원리를 사용하여, 이 초희귀한 "모든 것에 대해 완벽한" 그룹조차 여전히 이 방 안에서 조밀하다는 것을 증명합니다. 이는 당신이 숫자들이 가능한 모든 합의 조합에 대해 완벽하기를 요구하더라도, 여전히 그들을 어디에서나 찾을 수 있음을 의미합니다.

"지저분한" 집합들은 어떻게 되는가?

이 논문은 단순히 "좋은 집합이 어디에나 있다"라고 말하는 데 그치지 않고, 좋은 집합이 희귀하거나 취약하다는 생각을 암묵적으로 배제합니다. 저자들은 "나쁜" 집합들이 넘을 수 없는 단단한 벽이 아니라, 단지 완벽함이라는 바다 위에 떠 있는 고립된 섬일 뿐이라는 것을 보여줍니다. 만약 당신이 실수나 복소수 중에서 무작위로 숫자 한 줌을 뽑는다면, 그것이 $B_h$-집합일 확률은 본질적으로 100%입니다.

또한 논문은 조금 더 완화된 버전인 $B_h[g]$-집합에 대해서도 언급합니다. 여기서는 (단 하나의 조합만이 합을 만드는 대신) 최대 $g$개의 서로 다른 조합이 같은 합을 만드는 것을 허용합니다. 완벽한 집합($g=1$)이 이미 어디에나 존재하므로, 이보다 약간 더 "지저분한" 집합들 또한 어디에나 존재한다는 것이 논리적으로 성립합니다. 그러나 논문은 한 가지 질문을 남겨둡니다: 이 $B_h[g]$-집합들 역시 "열려 있는가"(즉, 하나를 가지고 있을 때 작은 변화를 주어도 여전히 좋은 상태를 유지하는가)? 저자들은 이들이 조밀하다고 제안하지만, 이들이 열려 있는지에 대한 문제는 미래의 탐험가들을 위한 미스터리로 남아 있습니다.

시사점

결국, 이 논문은 실수와 복소수의 광활한 풍경 속에서 유일함이 기본 설정임을 알려줍니다. 우리는 이러한 특별한 집합을 찾기 위해 천재가 되거나 슈퍼컴퓨터를 사용할 필요가 없습니다. 그것들은 자연스러운 상태이기 때문입니다. 만약 당신이 숫자 한 줌을 잡는다면, 당신은 모든 합이 고유한 이야기를 들려주는 집합을 가질 확률이 거의 확실합니다. 우리가 걱정하는 "충돌"은 수학적 변칙이며, 본래 완벽하게 질서 정연한 체계 속에서 발생하는 드문 글리치(glitch)일 뿐입니다. 이 결과는 우리에게 강력한 새로운 관점을 제공합니다: 숫자의 세계에서 유일해지는 것은 고군분투해야 하는 일이 아니라, 바로 규칙 그 자체라는 것입니다.