[논문 리뷰] Some conjectures on addition and multiplication of complex (real) numbers

Apoloniusz Tyszka|arXiv (Cornell University)|2008. 07. 18.

Mathematical Dynamics and Fractals인용 수 7

한 줄 요약

이 논문은 덧셈과 곱셈 연산으로부터 유도된 선형 및 다항방정식계에 대한 유리수 및 복소수 해의 유계성에 관한 추측을 조사한다. 연구는 해가 지수적으로 유계된 간격 내에 존재할 것임을 제안하며, 특히 선형계의 경우 $[-2^{n-1}, 2^{n-1}]$ 및 곱셈을 포함하는 계의 경우 $[0, 2^{2^{n-2}}]$ 라고 제시한다. 이는 행렬 대수학 및 의사역행렬을 이용한 이론적 분석과 확률적 검증에 의해 뒷받침된다.

ABSTRACT

We discuss conjectures related to the following two conjectures: (1) for each complex numbers x_1,...,x_n there exist rationals y_1,...,y_n \in [-2^{n-1},2^{n-1}] such that \forall i \in {1,...,n} (x_i=1 \Rightarrow y_i=1) \forall i,j,k \in {1,...,n} (x_i+x_j=x_k \Rightarrow y_i+y_j=y_k) (2) for each complex (real) numbers x_1,...,x_n there exist complex (real) numbers y_1,...,y_n such that \forall i \in {1,...,n} |y_i| \leq 2^{2^{n-2}} \forall i \in {1,...,n} (x_i=1 \Rightarrow y_i=1) \forall i,j,k \in {1,...,n} (x_i+x_j=x_k \Rightarrow y_i+y_j=y_k) \forall i,j,k \in {1,...,n} (x_i \cdot x_j=x_k \Rightarrow y_i \cdot y_j=y_k)

연구 동기 및 목표

• 덧셈과 곱셈을 포함하는 방정식계에 대한 유리수 및 복소수 해의 엄밀한 상한을 설정하기 위해.
• 일致한 선형 및 다항방정식계의 해가 지수적으로 유계된 간격 내에 포함될 수 있는지 조사하기 위해.
• 이론적 분석과 확률적 계산을 통해 제안된 상한의 최소성과 엄밀함을 검증하기 위해.
• 무어-펜로즈 의사역행렬과 최소 제곱 해가 유계된 유리수 해를 도출하는 데서 수행하는 역할을 탐색하기 위해.
• 이러한 상한이 복소수 및 실수 체계에서 최대 및 유한 해를 갖는 시스템에 미치는 영향을 검토하기 위해.

제안 방법

• 방정식 $x_i = 1$ 과 $x_i + x_j = x_k$ 로 구성된 시스템 $S \subseteq W_n$ 을 정의하고, 다항방정식계를 위해 $x_i \cdot x_j = x_k$ 를 추가로 포함시킨다.
• 크래머의 법칙과 행렬 질량 분석을 적용하여, 계수들이 \{-1, 0, 1, 2\} 에 속할 경우 일치하는 시스템의 유일한 해가 유리수임을 보여준다.
• 무어-펜로즈 의사역행렬 $\mathbf{A}^\dagger$ 를 사용하여 유클리드 노름이 최소인 최소 제곱 해를 계산함으로써 유리수 성분을 보장한다.
• MuPAD에서의 확률적 알고리즘을 활용하여 무작위로 생성된 시스템을 샘플링하고, 해의 노름이 $[-2^{n-1}, 2^{n-1}]$ 과 $[0, 2^{2^{n-2}}]$ 내에 유지됨을 검증한다.
• 변수를 대체함으로써 시스템을 단순화하고 증명을 용이하게 하며, 더 작은 $n$ 에 대해 추측을 검증한다 (예: $x_i = 1$ 을 $x_1$ 으로 치환).
• 최대 및 유한 해를 갖는 시스템을 분석하여, 그 해의 상한에 대한 추측을 검증하고, 그뢰브너 기저 차원 검사와 수치적 해법을 활용한다.

실험 결과

연구 질문

• RQ1 복소수 체계 $\mathbb{C}$ 에서 $x_i = 1$ 과 $x_i + x_j = x_k$ 를 포함하는 모든 일치하는 선형방정식계는 $[-2^{n-1}, 2^{n-1}]$ 내에 유리수 해를 갖는가?
• RQ2 덧셈과 곱셈 방정식을 모두 포함하는 시스템의 복소수 또는 실수 해에 대해, 상한 $2^{2^{n-2}}$ 는 엄밀한가?
• RQ3 이러한 시스템의 최소 유클리드 노름 최소 제곱 해는 항상 제안된 지수적 상한 내에 존재하는가?
• RQ4 해가 유한 개 존재하는 시스템의 경우, 모든 해가 $|x_i| \leq 2^{2^{n-2}}$ 를 만족하는가?
• RQ5 덧셈과 곱셈만을 포함하는 시스템에 대해, 상한 $2^{2^{n-1}}$ 을 개선할 수 있는가, 아니면 이것이 최적인가?

주요 결과

• 추측 (I) 은 $n \leq 4$ 에서 성립하며, $n=5$ 에서 MuPAD 를 사용한 1000회 반복의 확률적 확인이 이루어졌다.
• 시스템 $x_1 = 1$, $x_i + x_i = x_{i+1}$ 는 유일한 해 $(1, 2, 4, \dots, 2^{n-1})$ 를 가지며, 이는 추측 (I) 에서 $2^{n-1}$ 이 엄밀한 상한임을 증명한다.
• $n > 1$ 인 경우, 추측 (II) 의 상한 $2^{2^{n-2}}$ 는 엄밀하다. 이는 $x_1 = 2$, $x_i \cdot x_i = x_{i+1}$ 를 만족하는 시스템이 $(2, 4, 16, 256, \dots, 2^{2^{n-1}})$ 의 해를 가지며 이를 통해 확인된다.
• 최소 제곱 해 $\mathbf{x}_0 = \mathbf{A}^\dagger \mathbf{b}$ 는 유리수이며 $[-2^{n-1}, 2^{n-1}]$ 내에 존재하여 추측 1 을 지지한다.
• 확률적 검증을 통해 $n=5$ 에서 1000개의 무작위 시스템에 대해 해의 최대 노름이 $2^{n-1}$ 이하로 유지됨을 확인하였다.
• 코드 수정을 통한 검증으로 추측 5d 는 유한 해를 갖는 시스템이 $|x_i| \leq 2^{2^{n-1}}$ 을 만족하며, $n > 1$ 에서 이 상한이 엄밀함을 지지한다.