[논문 리뷰] On the lexicographic representation of numbers

Vincenzo Manca|arXiv (Cornell University)|2015. 05. 03.

Lexicography and Language Studies참고 문헌 10인용 수 4

한 줄 요약

이 논문은 0을 나타내는 기호가 필요하지 않다는 점을 보이며, 숫자 1에서 k까지의 숫자로 이루어진 알파벳에 대한 문자열의 사전순 순서로 표현된 0을 포함하지 않는 체계를 제안한다. 이는 고전적 위치수 체계의 모든 핵심 성질을 유지하며, 사전순 표현과 표준 밑-k 표현 간의 명시적 변환 알고리즘을 제공한다.

ABSTRACT

It is proven that, contrarily to the common belief, the notion of zero is not necessary for having positional representations of numbers. Namely, for any positive integer $k$, a positional representation with the symbols for $1, 2, \ldots, k$ is given that retains all the essential properties of the usual positional representation of base $k$ (over symbols for $0, 1, 2 \ldots, k-1$). Moreover, in this zero-free representation, a sequence of symbols identifies the number that corresponds to the order number that the sequence has in the ordering where shorter sequences precede the longer ones, and among sequences of the same length the usual lexicographic ordering of dictionaries is considered. The main properties of this lexicographic representation are proven and conversion algorithms between lexicographic and classical positional representations are given. Zero-free positional representations are relevantt in the perspective of the history of mathematics, as well as, in the perspective of emergent computation models, and of unconventional representations of genomes.

연구 동기 및 목표

• 0이 위치수 체계에 필수적이라는 역사적이고 수학적인 가정을 도전하기 위해.
• 1에서 k까지의 숫자로 이루어진 알파벳에 대한 문자열의 사전순 순서가 0 기호 없이도 유효한 위치수 체계로 기능할 수 있음을 보여주기 위해.
• 모든 밑 k에 대해 사전순 표현과 고전적 위치수 체계 간의 변환 알고리즘을 체계화하기 위해.
• 이 표현 방식이 수학사, 게놈 인코딩, 비전통적 계산 모델에 미치는 영향을 탐구하기 위해.

제안 방법

• 기호에 수치적 값을 할당하기 위해 ω(aᵢ) = i 라는 순서 함수를 갖는 유한한 알파벳 S = {a₁, a₂, ..., aₖ}를 정의한다.
• S*의 문자열에 대해 사전순 순서를 사용하여 각 문자열에 고유한 위치(인덱스)를 할당하며, 이는 더 짧은 문자열이 더 긴 문자열보다 앞서고, 같은 길이의 문자열은 사전순으로 정렬됨을 의미한다.
• 어떤 문자열의 사전순 인덱스를 계산하기 위한 재귀 공식(식 1)과 반복 알고리즘(식 2)을 도입하여, 문자열을 자연수로 효과적으로 매핑한다.
• 사전순 순서로 나열함으로써 문자열과 자연수 사이에 일대일 대응을 형성함으로써, 0을 포함하지 않는 위치수 체계를 구성한다.
• 사전순 표현과 고전적 밑-k 표현(0에서 k−1까지의 숫자 사용) 간의 변환 함수를 유도하고, 형식적 증명을 통해 정확성을 입증한다.
• 이 프레임워크를 역사적 체계(예: 톨레마이의 60진 기수법)와 막세포계산 및 게놈 표현과 같은 모델에 적용한다.

실험 결과

연구 질문

• RQ1 0을 나타내는 기호 없이도 위치수 체계를 구성할 수 있는가?
• RQ2 {1, 2, ..., k}로 이루어진 알파벳에 대한 문자열의 사전순 순서가 자연수의 완전하고 모호하지 않은 위치수 표현을 제공하는가?
• RQ3 사전순 표현과 고전적 밑-k 위치수 체계 간의 공식적 변환 알고리즘은 무엇인가?
• RQ4 이 0을 포함하지 않는 체계는 그리스어나 마야 문명의 전통적 수 체계와 어떻게 관련이 있는가?
• RQ5 이 표현 방식이 게놈 인코딩과 P 시스템과 같은 잠재적 계산 모델에 어떤 영향을 미치는가?

주요 결과

• 0 기호 없이도 숫자 1에서 k까지의 숫자만을 사용하여 위치수 체계를 구성할 수 있으며, 이는 0이 위치수 기수법에 논리적으로 필수적이지 않음을 입증한다.
• {1, 2, ..., k}로 이루어진 알파벳에 대한 문자열의 사전순 순서는 유한한 문자열과 자연수 사이의 일대일 대응을 제공하며, 문자열이 순서 목록에서 차지하는 위치가 그 수치적 값에 해당한다.
• 논문은 어떤 문자열의 사전순 인덱스를 계산하기 위한 재귀 공식(식 1)과 반복 알고리즘(식 2)을 제공하여, 문자열에서 수치로의 직접 변환을 가능하게 한다.
• 사전순 표현과 고전적 밑-k 표현 간의 변환 함수가 명시적으로 정의되고, 수치적 동치성을 유지함을 형식적으로 증명하였다.
• 이 체계는 0 기호를 명시적으로 사용하지 않았지만 위치 원칙을 적용한 톨레마이의 60진 기수법과도 일관됨이 입증되었다.
• 이 프레임워크는 막세포계산(P 시스템)과 같은 비전통적 계산 모델에 적용 가능하며, DNA 서열을 사전순 색인을 통해 수로 간주함으로써 게놈 표현에 새로운 접근법을 제시한다.