🔢 mathematics

Hankel determinants of weighted binary sums of digits

이 논문은 가중치 적용된 이진 자릿수 합 함수(weighted binary sum-of-digits functions)의 행켈 행렬식(Hankel determinants)을 계산하기 위한 일반적인 재귀식을 정립하고, Allouche와 Shallit의 문제를 부분적으로 해결하기 위해 일반적인 경우에 대한 명시적인 폐형식 평가(closed-form evaluations)를 도출하며, 다항식 가중치 및 그 차분(first differences)에 대한 이 행렬식들의 소멸 거동(vanishing behavior)을 분석한다.

원저자: Bartosz Sobolewski, Maciej Ulas

게시일 2026-07-13

📖 4 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Bartosz Sobolewski, Maciej Ulas

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

상상해 보세요, 당신에게는 단순히 숫자를 더하는 것이 아니라, 숫자의 비밀스러운 이진 코드(0과 1로만 이루어진 비밀 언어 같은 것) 속에 숨겨진 "1"의 개수를 찾아내는 마법의 계산기가 있습니다. 우리는 이것을 "자릿수 합(digit-sum)"이라고 부릅시다. 이제, 이 자릿수 합들을 잔뜩 모아서 거대한 정사각형 격자 형태로 배열한다고 상상해 보세요. 각 칸은 행과 열에 따라 특정한 합을 담고 있는 이 격자를 **한켈 행렬(Hankel matrix)**이라고 부릅니다.

여기서 핵심적인 질문은, 이 격자를 하나의 숫자(이를 **행렬식(determinant)**이라고 합니다)로 압축했을 때 무엇이 나오느냐 하는 것입니다.

보통 이런 숫자들은 매우 복잡하고 예측 불가능하며 계산하기 어렵습니다. 하지만 이 논문은 이 혼돈 속에서 숨겨진 패턴을 여는 마스터 키를 찾아내는 것과 같습니다.

마법의 열쇠: 재귀적 레시피

저자들은 이 거대한 격자 숫자들을 매번 전체 격자를 다 만들지 않고도 계산할 수 있는 일반적인 "레시피"(재귀 관계)를 발견했습니다. 이는 해변의 모든 모래알을 하나하나 세는 대신, 몇 개의 특정 모래언덕만 보고도 전체 모래의 양을 알 수 있는 공식이 있다는 것을 깨닫는 것과 같습니다.

그들은 이 레시피를 가장 기본적인 버전인 표준 이진 자릿수 합에 적용해 보았습니다. 그리고 결과는 어땠을까요? 그들은 특정 크기의 무한한 가족군에 대해 믿기 힘들 정도로 단순한 답을 찾아냈습니다.

예를 들어, 만약 격자 크기를 $n = \lceil 2^{k+2}/3 \rceil$ 이라는 공식(즉, 특정 순서로 커지는 숫자들)에 따라 선택한다면, 결과는 놀라울 정도로 간단합니다:
$\text{결과} = (-1)^{\text{어떤 값}} \times (k + 1)$
단순히 부호가 붙은 숫자 $k+1$ 일 뿐입니다! 이는 수학자 알루(Allouche)와 샬리테(Shallit)가 오랫동안 궁금해했던 퍼즐을 해결한 것입니다.

"가중치"라는 반전

저자들은 여기서 멈추지 않고 "가중치"를 도입했습니다. 가중치는 이진 코드의 각 위치에 서로 다른 값을 부여하는 것과 같습니다. 첫 번째로 보이는 "1"은 1점으로, 두 번째 "1"은 $t$ 점으로, 세 번째는 $t^2$ 점으로 계산하는 식입니다.

이렇게 하면, 단일 숫자들이 다항식(변수 $t$ 를 포함한 방정식)으로 변하게 됩니다. 저자들은 $t$ 가 특정 값들, 즉 "단위근(roots of unity)"(자기 자신을 여러 번 곱했을 때 다시 1로 돌아오는 숫자들)과 관련될 때, 이 다항식들이 거대한 구간 동안 0이 된다는 것을 발견했습니다.

피아노를 상상해 보세요. 특정 건반(특정 격자 크기)을 누르면 소리가 나지 않습니다. 저자들은 이 특정한 $t$ 값들에 대해, 소리가 나지 않는 길고 구조적인 구간이 존재함을 증го했습니다. 하지만 그들은 동시에, "소리가 나는" 음들이 매우 드물고 흩어져 있다는 것도 보여주었습니다. 마치 광활하고 텅 빈 바다 위에 떠 있는 몇 개의 작은 섬들을 찾는 것과 같습니다.

그들이 찾아낸 것과 찾지 못한 것

이 논문이 답을 내놓지 못했거나 남겨둔 부분이 무엇인지 아는 것이 중요합니다.

모든 것에 통용되는 단 하나의 마법 공식은 없음: 그들은 모든 가능한 격자 크기에 대해 작동하는 하나의 단순한 공식을 찾아낸 것이 아닙니다. 패턴은 복잡하며 숫자의 이진 구조에 따라 달라집니다.
무작위성이 아님: 그들은 0이 나타나는 현상이 무작위가 아님을 명시적으로 보여주었습니다. 0은 매우 구체적이고 구조적인 블록 형태로 나타납니다.
"중근"에 대한 열린 질문: 그들은 다항식이 "중근"(두 개의 0을 갖는 것)을 갖는 다른 특수한 숫자가 있는지 증명하지 않았습니다. 대신 이를 명시적인 미해결 과제로 제시했습니다(질문 6.2). 그들은 이미 알고 있는 값( $t=0$ 및 $t=2\zeta$ ) 외에 다른 중근이 존재하는지에 대해 질문을 던졌으며, 아직 이를 배제하지 못했습니다.

얼마나 확실한가요?

증명된 사실: 재귀적 레시피, 특정 수열(앞서 언급한 $k+1$ 결과 등)에 대한 폐쇄형 공식, 그리고 행렬식이 0이 되는 긴 구간의 존재는 모두 수학적으로 증명되었습니다. 이는 확고한 사실입니다.
시뮬레이션과 추측: 저자들은 더 큰 숫자에 대해 패턴을 확인하기 위해 컴퓨터 시뮬레이션을 실행했습니다. 이 시뮬레이션을 바탕으로, 그들은 (증명은 아니지만) 0이 아닌 인덱스의 집합이 그들이 계산한 것보다 훨씬 더 희소할 것이라고 제시합니다. 또한, 행렬식이 0이 되는 인덱스의 집합이 모든 경우에 대해 매우 특정한 패턴을 따를 것이라고 추측하지만, 0이 아닌 경우를 증명하는 "어려운 부분"은 여전히 남아 있다고 인정합니다.

"주기 배가(Period-Doubling)"와의 연결

이 논문은 "주기 배가 수열"(패턴이 계속 뒤집히고 배가되는 패턴)이라는 유명한 수열과도 연결됩니다. 저자들은 자신들의 새로운 일반적인 방법이 이 수열에 관한 기존의 결과를 설명할 수 있다는 것을 발견했는데, 여기에 반전이 있습니다. 그들은 원래 논문의 공식에서 작은 부호 오류를 발견하여 이를 바로잡았습니다. 이는 오래된 지도의 오타를 찾아내어, 보물은 비어 있다고 생각했던 곳이 아니라 바로 그 근처에 있다는 것을 깨닫는 것과 같습니다.

요약하자면

요약하자면, 이 논문은 지저치고 복잡한 수학적 대상(자릿수 합의 한켈 행렬식)을 가져와 그 아래에 엄격하고 아름다운 구조가 있음을 보여줍니다. 그들은 특정 무한한 가족군에 대해 값을 예측하는 방법을 찾아냈으며, 특정 설정에서 값이 긴 파동처럼 사라진다는 것을 증명했습니다.

그들은 몇 가지 열린 질문을 남겨두었습니다. 예를 들어, 이 다항식의 근이 얼마나 커질 수 있는지에 대한 보편적인 한계가 있는지(시뮬레이션은 약 2.618 정도의 한계를 시사함), 그리고 이러한 패턴이 다른 진법(예: 3진법이나 10진법)에서도 유지되는지 등에 대해서 말입니다. 하지만 현재로서는, 그들은 이진 합의 비밀을 해독할 수 있는 강력한 새로운 도구를 우리에게 건네주었습니다.

기술 요약: 가중치가 부여된 이진 자릿수 합의 행켈 행렬식(Hankel Determinants)

문제 정의
본 논문은 이진 자릿수 함수(binary sum-of-digits function)와 관련된 행켈 행렬식(Hankel determinants)을 평가하는 문제를 다룬다. 이 문제는 Allouche와 Shallit의 단행본에 명시된 문제(Problem 4)로, $s(n)$ 을 일반적인 이진 자릿수 합이라 할 때, $H(n) = \det[s(i+j)]_{0 \le i,j < n}$ 의 단순한 폐쇄형(closed form)을 구하는 것을 요구한다. 이전 연구들은 이 행렬식들을 정수 모듈로(예: Thue-Morse 수열에 대해 모듈로 2에서 비영(non-vanishing)임을 증명) 분석하는 데 성공했으나, 임의의 $n$ 에 대해 정확한 폐쇄형 표현을 얻는 것은 여전히 드문 일이다. 저자들은 일반적인 자릿수 합에 범위를 한정하는 것이 자릿수 기여의 섭동(perturbations)으로 인해 재귀적 행렬 축소(recursive matrix reduction)를 수행하기에 너무 제한적이라는 점에 주목하여, 이 문제를 **가중치가 부여된 이진 자릿수 합(weighted binary sums of digits)**으로 일반화한다.

방법론
저자들은 복소수 가중치 수열 $w = (w_j)_{j \ge 0}$ 를 도입하고, 가중치 자릿수 합 함수 $s_w(n)$ 을 정의한다. 이와 관련된 행켈 행렬식을 $H_w(n)$ 이라 표기한다. 핵심 방법론은 블록 행렬 분해와 크로네커 곱(Kronecker products)을 통해 자릿수 합 함수의 자기 유사성(self-similarity)을 활용하는 것이다.

재귀적 축소 (Recursive Reduction): 논문은 $H_w(n)$ 과 $s_w$ 의 1차 차분(first difference)과 관련된 보조 행렬식 $\tilde{G}_w(n)$ 사이의 관계를 $n$ 의 이진 전개에 따라 연결하는 일반적인 재귀적 프레임워크(정리 4.2)를 구축한다.
보조 행렬식 (Auxiliary Determinants): $d_w(n) = s_w(n+1) - s_w(n)$ 의 행켈 행렬식인 $G_w(n)$ 을 분석하는 데 상당한 기술적 노력이 투입된다. 저자들은 $n$ 의 이진 전개의 런-길이(run-length) 구조를 기반으로 $G_w(n)$ 의 폐쇄형 곱 공식을 유도한다(정리 3.4).
다항식 특수화 (Polynomial Specialization): 저자들은 가중치를 $w_j = t^j$ 형태로 특수화하여 행렬식을 다항식 $H(n, t)$ 로 변환한다. 이를 통해 근, 차수, 그리고 최고차항 계수를 연구한다.
커널 구성 (Kernel Construction): 특정 $t$ 값(특히 $t = 2\zeta$ 이며 $\zeta$ 가 단위근인 경우)에 대한 소멸 조건(vanishing conditions)을 조사하기 위해, 텐서 곱과 행렬 $F(n, t)$ 의 성질을 이용하여 행켈 행렬의 커널(kernel) 내에 명시적인 비영(non-zero) 벡터를 구성한다.

주요 기여 및 결과

일반 재귀식: 중심 결과(정리 4.2)는 모든 $n$ 에 대해 $H_w(n)$ 을 효과적으로 계산할 수 있게 하는 재귀 공식 세트를 제공한다. 이는 가중치 환경에서 Allouche-Shallit 문제를 부분적으로 해결한다.
특정 인덱스에 대한 폐쇄형: 일반적인 이진 자릿수 합( $w_j=1$ $w_{j} = 1$ )에 대하여, 저자들은 다음과 같은 무한한 인덱스 패밀리에 대한 명시적인 폐쇄형을 도출한다.
- $n_k = \lceil 2^{k+2}/3 \rceil$ 인 경우, 행렬식은 다음과 같이 놀라울 정도로 단순한 공식으로 주어진다:
  $H(n_k) = (-1)^{\frac{(k+2)(k+3)}{2}} (k+1)$
- 또한 $2^m$ , $2^m \pm 1$ , 그리고 $2^m + \epsilon$ 형태의 인덱스에 대한 공식도 제공된다(명제 4.5).
다항식 구조: 다항식 특수화 $w_j = t^j$ 에 대하여, 저자들은 $H(n, t)$ 의 차수와 최고차항 계수를 결정한다. 그들은 $H(n, t)$ 가 $\sigma(n) t^{\beta(n)} (2-t)^{n-2} \hat{H}(n, t)$ 로 인수분해되며, 여기서 $\hat{H}(n, t)$ 는 양의 정수 계수를 가진 단항식(monic polynomial)임을 증명한다(정리 4.10).
소멸 및 비영 (Vanishing and Non-Vanishing):
- 논문은 $H(n, 2\zeta)$ 가 단위근 $\zeta$ 에 대해 0이 되는 인덱스 $n$ 의 집합을 조사한다. $d \ge 2$ 인 차수를 갖는 단위근 $\zeta$ 에 대해, 행렬식은 큰 2의 거듭제곱의 배수를 중심으로 하는 긴 구간에서 소멸함을 보인다(정리 5.4).
- 비영(non-vanishing) 인덱스의 집합은 밀도가 0인 희소(sparse)한 집합이지만 무한함이 증명되었다(정리 5.5).
- $n_k$ 와 구별되는 $H(n, 2\zeta) \neq 0$ 인 무한한 인덱스 패밀리가 식별되었다(정리 5.10).
주기 배가 수열 (Period-Doubling Sequence): 가중치를 야코프스탈 수(Jacobsthal numbers)로 선택함으로써, 저자들은 주기 배가 수열의 행켈 행렬식에 관한 Fokkink, Kraaikamp, Shallit의 결과를 회복하고 수정한다(명제 3.9).
부호 행동 (Sign Behavior): $H(n, 1)$ 의 부호 수열은 비주기적(non-periodic)이며, 그 생성 함수는 $\mathbb{Q}(x)$ 위에서 초월적(transcendental)임이 증명되었다(정리 4.13).

의의
본 논문은 가중치 합으로 범위를 확장함으로써 Allouche와 Shallit가 제기한 문제에 대한 "부분적인 해결책"을 제공한다고 주장하며, 이는 효과적인 재귀를 도출하는 데 필수적이다. 주요 의의는 일반적인 분야에서 흔히 모듈로 산술에 국한되는 결과와 달리, 특정 무한 인덱스 패밀리에 대한 정확한 폐쇄형 평가를 도출했다는 점에 있다. 나아가, 본 연구는 주기 배가 수열에 관한 기존 연구를 일반화하며, 다항식으로서의 행렬식이 가지는 소멸 거동에 대한 상세한 구조적 분석을 제공한다. 저자들은 모든 $n$ 에 대한 단일 폐쇄형을 제공하지는 않지만, 재귀적 구조가 효과적인 계산을 가능하게 하며 인덱스의 2-진(2-adic) 구조와 행렬식의 대수적 성질 사이의 깊은 연관성을 드러낸다고 언급한다.