[논문 리뷰] Bachet's Problem: as few weights to weigh them all

Edwin O’Shea|arXiv (Cornell University)|2010. 10. 26.

Advanced Mathematical Identities참고 문헌 8인용 수 7

한 줄 요약

이 논문은 두 패널 저울을 사용할 때 1에서 m까지의 모든 정수 무게를 측정할 수 있는 최소 무게 집합을 찾는 바흐의 고전적인 저울 문제를 일반화한다. 그 결과, m ≤ (3^{n+1}−1)/2 를 만족하는 가장 작은 n에 대해 최소 무게 수가 해당됨을 보여준다. 해법은 3의 거듭제곱의 고유한 멀티세트와 최종 무게로 구성되며, 2m+1의 순서 있는 인수분해와 부분완전 분할 사이의 이항관계를 규명함으로써 정수 분할과 곱셈 인수분해 사이의 깊은 연결 고리를 드러낸다.

ABSTRACT

A problem that enjoys an enduring popularity asks: "what is the least number of pound weights that can be used on a scale pan to weigh any integral number of pounds from 1 to 40 inclusive, if the weights can be placed in either of the scale pans ?" W.W. Rouse Ball attributes the first recording of this problem to Bachet in the early 17th century, calling it "Bachet's Weights Problem". However, Bachet's problem stretches all the way back to Fibonacci in 1202, making it a viable candidate for the first problem of integer partitions. Remarkably, given the age of Bachet's problem, an elegant and succinct solution to this problem when we replace 40 with any integer has only come to light in the last 15 or so years. We hope to expound on this generalization here armed only with our sharp wits and a willingness to induct. In doing so we will discover some of the joys of partitions of integers and enumerative combinatorics. This expository article, while of interest to researchers in combinatorics, integer partitions and the history of mathematics, is written with an impressionable undergraduate audience in mind.

연구 동기 및 목표

• 바흐의 원래 문제를 1에서 40까지의 모든 정수를 최소한의 무게로 측정하는 것에서 임의의 양의 정수 m로 일반화하는 것.
• 무게를 양쪽 패널에 놓을 수 있을 때 1에서 m까지의 모든 정수를 측정하기 위해 필요한 최소 무게 수를 결정하는 것.
• 2m+1의 순서 있는 인수분해와 m의 부분완전 분할 사이의 이항관계를 확립하여 일반화된 두 패널 저울 문제를 해결하는 것.
• 바흐 문제의 중요성을 과소평가해온 점을 부각하고, 현대 수론에서 그의 문제를 더 널리 인식하도록 장려하는 것.

제안 방법

• 임의의 m에 대해 m ≤ (3^{n+1}−1)/2 를 만족하는 가장 작은 n을 계산하고, 무게 집합 W_m = {1, 3, 9, ..., 3^{n-1}, m − Σ_{i=0}^{n-1} 3^i} 를 정의한다.
• 수학적 귀납법을 사용하여, 모든 정수 l ∈ [0, m]이 W_m의 무게들의 부호가 붙은 합으로 유일하게 표현될 수 있음을 증명한다. 계수는 {−1, 0, 1}에 속한다.
• 각 인수분해 f₁×f₂×⋯×f_r 를 누적 곱과 (f_i−1)/2번의 반복으로 구성된 분할로 매핑하여, 2m+1의 순서 있는 인수분해와 m의 부분완전 분할 사이의 이항관계를 수립한다.
• 이전 연구에서 유도된 완전 분할의 구조를 활용하여, 결과적으로 얻어진 분할이 2완전성과 부호가 붙은 조합에서의 유일성을 유지함을 보인다.
• 생성함수와 재귀관계를 사용하여 주어진 m에 대해 서로 다른 해의 수를 세며, 특히 m이 (3^{n+1}−1)/2 형태가 아닐 경우에 초점을 맞춘다.
• 원래 바흐의 해법(1+3+9+27=40)이 81=2×40+1의 인수분해 3×3×3×3에서 유도됨을 보여준다.

실험 결과

연구 질문

• RQ1 두 패널 저울을 사용할 때, 무게를 양쪽 패널에 놓을 수 있을 경우 1에서 m까지의 모든 정수를 측정하기 위해 필요한 최소 무게 수는 얼마인가?
• RQ2 주어진 m에 대해 바흐 문제를 해결할 수 있는 서로 다른 무게 집합은 몇 개인가? 이러한 집합의 구조는 어떻게 되는가?
• RQ3 2m+1의 순서 있는 인수분해와 m의 부분완전 분할 사이에 이항관계가 존재하는가?
• RQ4 3의 거듭제곱과 잔여 무게를 기반으로 한 체계적인 구성 방법을 통해 일반화된 바흐 문제를 해결할 수 있는가?
• RQ5 부분완전 분할과 2m+1의 곱셈 인수분해 사이의 연결 고리는 무엇이며, 이는 맥마혼의 원래 결과를 어떻게 일반화하는가?

주요 결과

• 임의의 m에 대해 필요한 최소 무게 수는 m ≤ (3^{n+1}−1)/2 를 만족하는 가장 작은 n이며, 최적의 무게 집합은 {1, 3, 9, ..., 3^{n-1}, m − Σ_{i=0}^{n-1} 3^i} 이다.
• m = 25일 때 정확히 아홉 개의 서로 다른 해가 존재하며, 이 모든 해는 1에서 25까지의 모든 정수를 부호가 붙은 표현으로 유일하게 나타낼 수 있도록 하는 4개의 부분으로 나누어진 분할이다.
• m의 부분완전 분할은 2m+1의 순서 있는 인수분해와 일대일 대응되며, 원래 바흐의 해법(1+3+9+27)은 81의 인수분해 3×3×3×3에 해당한다.
• 이 구성은 모든 정수 l ∈ [0, m]이 α_i ∈ {−1, 0, 1} 인 계수를 가진 부호가 붙은 합 ∑ α_i w_i 로 유일하게 표현될 수 있음을 보장하여, 유일성과 완전성을 증명한다.
• 이 방법은 맥마혼의 결과를 일반화한다: m의 부분완전 분할은 2m+1의 순서 있는 인수분해와 이항관계를 이루며, 이러한 분할의 수는 인수분해의 수와 같다.
• 논문은 바흐 문제의 역사적 중요성뿐 아니라 수학적으로 풍부한 성격을 드러내며, 정수 분할, 인수분해, 다면체 조합론과 깊은 연결 고리를 맺고 있음을 밝혀낸다.