[논문 리뷰] Simulation of the Collatz 3x+1 function by Turing machines

Michel Pascal|arXiv (Cornell University)|2014. 09. 25.

Benford’s Law and Fraud Detection참고 문헌 3인용 수 4

한 줄 요약

이 논문은 정지하지 않는 3상태, 4기호 튜링 기계를 제안하며, 이는 이전의 3×5 및 4×4 기계보다 개선된 콜라츠 3x+1 함수를 시뮬레이션한다. 또한 콜라츠 수열이 2→1→2 순환에 도달할 때 정확히 정지하는 네 가지 새로운 정지 튜링 기계—3×10, 4×6, 5×4, 13×2—를 도입하여, 3x+1 추측의 새로운 계산적 표현을 제공한다.

ABSTRACT

We give new Turing machines that simulate the iteration of the Collatz 3x+1 function. First, a never halting Turing machine with 3 states and 4 symbols, improving the known 3x5 and 4x4 Turing machines. Second, Turing machines that halt on the final loop, in the classes 3x10, 4x6, 5x4, and 13x2.

연구 동기 및 목표

• 더 적은 상태와 기호를 사용하여 콜라츠 3x+1 함수의 보다 효율적인 유니버설 시뮬레이터를 구축하기 위해.
• 정지하지 않는 3×4 기계로 콜라츠 함수를 시뮬레이션할 수 있음을 보여줌으로써 튜링 기계의 분류를 정교화하기 위해.
• 콜라츠 수열의 최종 2→1→2 순환을 감지하는 새로운 정지 튜링 기계를 설계하여, 3x+1 추측에 대한 계산적 검증을 제공하기 위해.
• 이중, 단항 및 삼진수 표현 방식을 튜링 기계 시뮬레이션에 적용하여 상태 수와 기호 수를 최적화하는 데에 사용하기 위해.

제안 방법

• 3×4 튜링 기계는 삼진수로 표현된 수를 처리하며, 3으로 곱하는 것과 표준적인 2로 나누기 알고리즘의 용이성을 활용한다.
• 정지 기계는 기존의 정지하지 않는 기계에 추가 상태를 더해, 수 1 또는 2→1→2 루프에 해당하는 구성 상태를 감지하도록 유도한다.
• 3×10 및 4×6 기계의 경우, 각각 마르젠스테른의 2×10 및 3×6 기계에 정지 상태를 추가하여 (A1)b 구성 상태를 감지하도록 한다.
• 5×4 기계는 삼진수 표현 방식을 사용하며, 꼬리의 0을 정리하는 데 사용되는 상태와 (Bb) 구성 상태를 정지 조건으로 감지하는 데 사용되는 상태를 추가한다.
• 13×2 기계는 마르젠스테른의 11×2 이진수 표현 기계를 확장하여, 이진수 형태로 수 1을 나타내는 (A1)10 구성 상태를 감지할 수 있도록 두 개의 상태를 추가한다.
• 모든 기계는 형식적으로 검증되어 콜라츠 함수를 정확히 시뮬레이션하고, 수열이 2→1→2 순환에 도달할 때 정확히 정지함을 입증하였다.

실험 결과

연구 질문

• RQ1 3상태, 4기호 튜링 기계로 콜라츠 3x+1 함수를 정지하지 않고 시뮬레이션할 수 있는가? 이는 기존의 3×5 및 4×4 기계보다 개선된 결과를 낳는가?
• RQ2 콜라츠 수열이 2→1→2 순환에 도달할 때 정확히 정지하는 3×10, 4×6, 5×4, 13×2 기계 클래스의 새로운 정지 튜링 기계를 구성할 수 있는가?
• RQ3 이진수, 단항수, 삼진수 표현 방식의 차이가 3x+1 함수를 시뮬레이션하는 튜링 기계의 효율성과 설계에 어떤 영향을 미치는가?
• RQ4 최종 루프에 대한 정지 조건을 갖는 3x+1 함수를 시뮬레이션하기 위해 필요한 최소한의 상태와 기호 조합은 무엇인가?

주요 결과

• 정지하지 않는 콜라츠 3x+1 함수를 시뮬레이션하는 새로운 3×4 튜링 기계가 구축되었으며, 이는 이전의 3×5 및 4×4 기계보다 개선된 결과를 낳는다.
• 3×10 튜링 기계는 마르젠스테른의 2×10 기계에 한 개의 상태를 추가하여 (A1)b 구성 상태가 감지될 때 정지할 수 있도록 유도되었다.
• 4×6 튜링 기계는 마르젠스테른의 3×6 기계에 한 개의 추가 상태를 더해 (A1)b 구성 상태를 감지하고 정지하도록 유도되었다.
• 5×4 튜링 기계는 3×4 기계에 두 개의 새로운 상태를 추가하여, 꼬리의 0을 정리하는 기능과 (Bb) 구성 상태를 정지 조건으로 감지하는 기능을 구현하였다.
• 13×2 튜링 기계는 마르젠스테른의 11×2 기계에 두 개의 상태를 추가하여 이진수 표현으로 수 1을 나타내는 (A1)10 구성 상태를 감지할 수 있도록 하였다.
• 새로운 각 정지 기계는 3x+1 추측에 대한 형식적이고 유한 상태의 검증을 제공한다: 추측은 정확히 모든 양의 정수 입력에서 기계가 정지할 경우에만 참이다.