Abelian-normal decimal expansions

이 논문은 단어 조합론의 아벨 복잡도 함수 개념에 영감을 받아 아벨-정규 수를 정의하고, 체머른호른 상수의 비정규 아날로그 $D_{10}$ 가 특정 가중치 함수에 대해 아벨-정규임을 증명하며 두 가지 미해결 문제를 제시합니다.

핵심

이 논문은 수학의 한 분야인 '숫자의 규칙성'에 대해 다루고 있습니다. 전문 용어 대신 일상적인 비유를 사용하여 이 연구의 핵심 내용을 쉽게 설명해 드리겠습니다.

1. 배경: 숫자의 '무작위성'과 '정상적인' 숫자

우리가 숫자를 나열할 때, 예를 들어 $0.123456789101112...$ 처럼 1 부터 순서대로 이어붙인 숫자열을 생각해 봅시다. 수학자들은 이 숫자열이 얼마나 '무작위'하고 '균형 잡혀 있는지'를 연구합니다.

• 정상적인 숫자 (Normal Number): 마치 주사위를 무한히 던졌을 때 1 부터 6 까지 모든 숫자가 똑같은 비율로 나오는 것처럼, 특정 숫자나 숫자 조합 (예: '12', '345') 이 나타나는 빈도가 이론적으로 예측된 비율과 정확히 일치하는 숫자를 말합니다.
• 캄페르노 (Champernowne) 상수: 이 논문에서 다루는 $C_{10}$은 1, 2, 3, 4... 를 이어붙인 숫자입니다. 이 숫자는 '정상적인 숫자'로 알려져 있습니다. 즉, 어떤 숫자 조합을 찾아도 그 빈도가 고르게 분포되어 있습니다.

2. 새로운 아이디어: "순서만 바꾼" 숫자 (아벨 - 정상)

연구자 존 캠벨은 흥미로운 질문을 던집니다. "숫자의 순서를 조금만 바꿔도 여전히 '정상적'이라고 볼 수 있을까?"

• 비유: 가상의 상황을 생각해 보세요.
  • 상황 A (정상적인 숫자): 한 반에 학생 100 명이 있고, 키가 다른 학생들 (작은 키, 중간 키, 큰 키) 이 무작위로 섞여 있습니다.
  • 상황 B (아벨 - 정상적인 숫자): 같은 반 학생들인데, 이번에는 키가 작은 학생들끼리만 모아서 왼쪽에, 큰 학생들끼리 모아서 오른쪽에 앉혔습니다.
  • 핵심: 학생들의 순서는 완전히 바뀌었지만, 전체 구성 (작은 키 학생이 몇 명인지, 큰 키 학생이 몇 명인지) 은 그대로입니다.

이 논문은 숫자열 속의 작은 조각 (예: '10110') 을 찾아내어, 그 안의 숫자들을 알파벳 순서대로 정렬하거나 뒤섞는 작업을 수행했습니다.

• 예: '10110'을 정렬하면 '00111'이 됩니다.
• 이렇게 순서만 바꾼 새로운 숫자열 ($D_{10}$) 은 원래의 숫자열 ($C_{10}$) 과는 다릅니다. 실제로는 '10'이라는 조합이 아예 사라지기도 합니다. 그래서 이 새로운 숫자는 더 이상 '정상적인 숫자 (Normal)'가 아닙니다.

3. 해결책: "가중치"라는 저울

그렇다면 순서가 바뀐 이 숫자 ($D_{10}$) 는 완전히 무질서한 것일까요? 연구자는 "아니요, 우리는 새로운 저울을 만들면 이 숫자도 '균형 잡혀 있다'고 볼 수 있습니다" 라고 주장합니다.

• 비유:
  • 기존 저울 (정상성): "빨간 공 3 개, 파란 공 2 개가 섞여 있어야 한다."
  • 새로운 저울 (아벨 - 정상성): "빨간 공 3 개, 파란 공 2 개가 섞여 있으면 되는데, 순서는 상관없다. 다만, 순서가 섞이는 경우의 수를 고려해서 점수를 매기자."
  • 연구자는 숫자 조합이 뒤섞일 수 있는 경우의 수 (예: '101'과 '110'은 같은 조합으로 간주) 를 계산하는 **'가중치 함수 (Weighting Function)'**라는 특별한 공식을 만들었습니다.

이 공식을 적용하면, 순서가 뒤죽박죽으로 바뀐 $D_{10}$이라는 숫자도 새로운 기준 (아벨 - 정상성) 에서는 완벽하게 균형 잡힌 숫자임을 증명했습니다.

4. 연구의 의의와 결론

• 새로운 발견: 수학자들은 오랫동안 "숫자의 순서를 바꾸면 규칙성이 깨진다"고 생각했습니다. 하지만 이 논문은 "순서를 바꾸더라도, 우리가 보는 관점 (비교 기준) 을 조금만 바꾸면 여전히 규칙적일 수 있다" 는 새로운 가능성을 열었습니다.
• 실제 적용: 캄페르노 상수 ($C_{10}$) 를 변형하여 $D_{10}$이라는 새로운 숫자를 만들었고, 이 숫자가 기존에는 없던 '아벨 - 정상'이라는 성질을 가짐을 수학적으로 증명했습니다.
• 미해결 과제: 이 새로운 숫자 $D_{10}$이 '초월수 (유리수나 대수적 수가 아닌 수)'인지 여부는 아직 밝혀지지 않았습니다. 이는 앞으로 연구해야 할 과제입니다.

요약

이 논문은 "숫자열의 순서를 뒤섞어도, 우리가 '균형'을 보는 기준을 조금만 유연하게 바꾸면 (순서보다 숫자 구성에 집중하면), 여전히 완벽하게 규칙적인 숫자를 만들 수 있다" 는 놀라운 사실을 발견한 연구입니다. 마치 주사위를 던져 나온 숫자의 순서는 무작위일지라도, 그 숫자들의 구성 비율만 보면 여전히 공정한 게임이라고 말하는 것과 같습니다.

기술 요약

논문 개요

• 제목: Abelian-normal decimal expansions
• 저자: John M. Campbell (달하우지 대학교)
• 주제: 조합론적 단어 이론 (Combinatorics on words) 의 '아벨리안 복잡도 (Abelian complexity)' 개념을 차용하여, 기존 '정규수 (Normal number)'의 정의를 확장한 새로운 개념인 **'아벨리안-정규수 (Abelian-normal number)'**를 도입하고, 이를 만족하지만 정규수는 아닌 수를 구성하여 증명하는 연구입니다.

---

1. 연구 배경 및 문제 제기 (Problem)

• 정규수 (Normal Number): 주어진 기수 (Base) $B$에서, 모든 길이 $k$의 블록 (subword) $E$가 나타나는 빈도가 $1/B^k$로 수렴하는 수를 말합니다. (예: 챔퍼노른 상수$C_{10}$)
• 기존 연구의 한계: 정규성을 보존하거나 위반하는 선택 규칙 (selection rules) 과 연산에 대한 연구는 많았으나, 단어의 **순열 (permutation)**에 대한 동치 클래스를 고려하여 정규성을 확장하는 연구는 부족했습니다.
• 핵심 질문: 단어의 순열을 무시한 '아벨리안 복잡도'의 관점에서 정규성을 정의할 수 있는가? 그리고 아벨리안-정규수이면서 동시에 일반적 의미의 정규수가 아닌 수는 존재하는가?

2. 방법론 (Methodology)

가. 아벨리안-정규수의 정의 (Definition of Abelian-normality)

• 아벨리안 동치 (Abelian Equivalence): 길이가 같은 두 블록이 서로 순열 관계에 있을 때 (즉, 각 숫자의 개수가 같을 때) 동치로 간주합니다.
• 가중치 함수 (Weighting Function, $W$): 블록 $E$의 순열 클래스 크기를 반영하는 가중치 $W(E)$를 도입합니다.
  • 예: $W(E) = \frac{\ell(E)!}{0_E! 1_E! \cdots (B-1)_E!}$ (각 숫자의 개수에 따른 순열의 수).
• 정의: 수 $\alpha$가 기수 $B$에서 가중치 $W$에 대해 아벨리안-정규수라는 것은, 모든 블록 $E$에 대해 다음 극한이 성립함을 의미합니다.
  $$\lim_{n \to \infty} \frac{1}{W(E)} \frac{B_E(\alpha, n)}{n} = \frac{1}{B^{\ell(E)}}$$
  여기서 $B_E(\alpha, n)$은 $E$와 그 모든 순열이 처음 $n$자리에서 나타나는 총 횟수입니다.

나. 챔퍼노른 상수 변형체 $D_{10}$의 구성

• 기반: 챔퍼노른 상수 $C_{10} = 0.123456789101112\dots$ (연속된 정수를 이어붙인 수) 는 정규수입니다.
• 변형 과정:
  1. $C_{10}$의 소수 전개에서 **이진 부분문자열 (binary subword, 0 과 1 로만 이루어진 연속된 문자열)**을 식별합니다.
  2. 각 이진 부분문자열을 **사전적 순서 (lexicographical order)**대로 정렬합니다. (예: 10100 $\to$ 00011)
  3. 이 과정을 적용하여 새로운 상수 $D_{10}$을 생성합니다.
• 특징: $D_{10}$은 10과 같은 특정 패턴이 절대 나타나지 않도록 설계되었으므로, 일반적인 의미의 정규수가 아닙니다.

다. 가중치 함수의 구체화

• $D_{10}$이 아벨리안-정규수가 되도록 하기 위해, 블록의 종류 (이진 문자만 포함, 비이진 문자 포함 등) 에 따라 가중치 함수 $W(w)$를 세분화하여 정의했습니다.
• 특히, $C_{10}$과 $D_{10}$ 사이의 순열 매핑 ($\sigma$) 에 의해 발생하는 차이를 보정하기 위해, $C_{10}$에서 특정 조건을 만족하는 순열의 발생 빈도 차이 ($C_w$와 $D_w$) 를 가중치 식에 포함시켰습니다.

3. 주요 결과 (Key Results)

1. 정리 1 (Theorem 1): 구성된 상수 $D_{10}$은 위에서 정의된 특정 가중치 함수 $W$에 대해 아벨리안-정규수임을 증명했습니다.
   • 증명 논리: $C_{10}$의 정규성을 기반으로, $D_{10}$에서의 블록 발생 빈도가 가중치로 보정된 후 기댓값에 수렴함을 보였습니다. 이진 부분문자열의 정렬로 인한 빈도 변화를 가중치 함수의 보정 항 (limit term) 을 통해 상쇄시켰습니다.
2. 비정규성 (Non-normality): $D_{10}$은 10이라는 블록이 전혀 존재하지 않으므로, 모든 블록이 균등하게 분포한다는 정규수의 정의 (식 1) 를 만족하지 않습니다.
3. 결론: **"아벨리안-정규수이면서 동시에 정규수가 아닌 수"**가 존재함을 구체적으로 구성하여 증명했습니다.

4. 의의 및 기여 (Significance)

• 개념적 확장: 조합론적 단어 이론의 '아벨리안 복잡도' 개념을 수론의 '정규수' 이론과 성공적으로 융합하여 새로운 수학적 객체를 정의했습니다.
• 새로운 상수 발견: 챔퍼노른 상수의 변형체인 $D_{10}$을 통해, 정규성의 다양한 층위 (일반 정규성 vs 아벨리안 정규성) 가 독립적일 수 있음을 보여주었습니다.
• 연구 방향 제시:
  • $D_{10}$이 초월수 (transcendental number) 인지 여부에 대한 새로운 질문을 제기했습니다 (Mahler 의 $C_{10}$ 초월수 증명과의 비교).
  • '순수 아벨리안-정규수 (purely abelian-normal)'의 존재 여부에 대한 열린 문제를 제시했습니다.

5. 요약

이 논문은 John M. Campbell 에 의해 작성되었으며, 기존 정규수 이론에 순열 불변성 (permutation invariance) 을 도입하여 아벨리안-정규수를 정의하고, 이를 만족하는 구체적인 예시 ($D_{10}$) 를 구성함으로써 정규성과 아벨리안-정규성이 서로 다른 성질임을 입증했습니다. 이는 조합론과 수론의 교차 분야에서 중요한 이론적 진전을 이루었습니다.