[논문 리뷰] On the simple normality to base 2 of the square root of s, for s not a perfect square

Richard Isaac|ArXiv.org|2005. 12. 16.

Mathematics and Applications참고 문헌 2인용 수 3

한 줄 요약

이 논문은 유한 차분과 尾함수 분석을 사용하여, 임의의 완전제곱수가 아닌 자연수의 제곱근이 2진법에서 단순 정규임을 증명한다. √s의 이진 전개에서 1의 극한 빈도가 1/2로 수렴함을 보이며, 제곱의 2진 전개에서의 이동에 대한 자릿수 빈도의 limsup의 불변성을 활용한다.

ABSTRACT

We show that each number of the form, the square root of s for s not a perfect square, is simply normal to the base 2. The argument uses some elementary ideas from the calculus of finite differences.

연구 동기 및 목표

• √2와 같은 잘 알려진 무리수들이 2진법에서 단순 정규인지 여부를 규명하는 것.
• 특정 비난잡 무리수를 정규수로 식별하는 데 오랫동안 미해결된 문제를 해결하는 것.
• √s의 꼬리 행동과 자릿수 빈도 분포를 연결하는 충분조건인 조건 (TU)을 설정하는 것.
• 유한 차분과 좌표 함수 분석의 새로운 응용을 통해 √s가 2진법에서 단순 정규임을 보이는 것.
• 미래 연구를 위해 결과를 전체 정규성(단순 정규성만이 아닌)으로 확장하는 기초를 다지는 것.

제안 방법

• ω = √s와 ν = ω²의 2진 전개를 사용하여, ω의 자릿수 빈도를 ν의 전개의 꼬리 행동과 연결한다.
• fₙ(ω) = (X₁ + ... + Xₙ)/n으로 정의된 평균 빈도 함수를 도입하며, 이는 ω의 첫 n개 이진 자릿수에서 1의 비율을 나타낸다.
• 하나의 부분수열 nᵢ에 沿해 f(ω) = limsup fₙ(ω)로 정의된 limsup 함수를 도입하며, 이는 X-시퀀스에 대한 꼬리 함수로 작용한다.
• 조건 (TU)를 수립: f(ω)는 U-시퀀스(ν의 자릿수)의 꼬리에만 의존하며, 초기 세그먼트에는 영향을 받지 않는다.
• 유한 차분의 미적분을 적용하여 fₙ(ω)가 ν의 자릿수 변화에 얼마나 민감한지 분석하며, 초기 Uᵢ 자릿수의 변화가 fₙ의 limsup에 영향을 주지 않음을 보인다.
• 모순을 사용하여, 유한 차분 전개에서 ΔXⱼ의 계수들이 j가 증가함에 따라 0이 되어야 한다는 것을 증명하며, 이는 f가 U-시퀀스의 꼬리 이동에 대해 불변임을 의미한다.

실험 결과

연구 질문

• RQ1 완전제곱수가 아닌 정수의 제곱근은 2진법에서 단순 정규인가?
• RQ2 √s의 이진 전개에서 평균 자릿수 빈도의 limsup가 그 제곱의 이진 전개의 꼬리에만 의존하는지 보일 수 있는가?
• RQ3 f(ω)가 U-시퀀스에 대해 꼬리 함수임을 의미하는 조건 (TU)이 √s에 대해 성립하는가?
• RQ4 유한 차분 기법을 사용하여 무리수의 자릿수 빈도 극한의 불변성 성질을 증명할 수 있는가?
• RQ5 이 방법을 사용하여 단순 정규성에서 전체 정규성으로 결과를 확장할 수 있는가?

주요 결과

• 논문은 임의의 완전제곱수가 아닌 자연수 s에 대해 √s가 2진법에서 단순 정규임을 증명한다.
• 조건 (TU)가 성립함: 평균 자릿수 빈도 f(ω)의 limsup는 U-시퀀스(ν = ω²의 2진 전개)의 꼬리에만 의존한다.
• 함수 f(ω)는 U-시퀀스의 이동에 대해 불변이며, 이는 ν 전개의 꼬리에 의해 결정됨을 의미한다.
• 유한 차분 분석을 통해, 초기 자릿수 Xⱼ가 fₙ(ω)의 limsup에 기여하는 바가 점점 사라짐을 확인하여 꼬리 의존성 확인.
• f(ω) = f(ω′)임이 증명되었으며, 이는 ω와 ω′의 제곱이 2진 전개에서 동일한 꼬리 부분을 가졌을 경우에 해당한다.
• 결과는 이 방법을 사용하여 전체 정규성으로의 확장을 가능하게 하며, 이는 향후 연구를 위해 열려 있는 문제이다.