[논문 리뷰] Multiplicative function instead of logarithm (an elementary approach)

É. Yu. Lerner|ArXiv.org|2007. 10. 10.

Mathematical and Theoretical Analysis참고 문헌 3인용 수 4

한 줄 요약

이 논문은 유한체 위에서 곱셈 함수의 값의 수열이 이동 불변 선형 연산자에 대해 가장 복잡하거나 거의 가장 복잡한 경우에 필요한 필수 조건과 충분 조건을 규명한다. 아르놀트의 가설, 즉 로그 수열이 매우 복잡하다는 것을 일반화한다. 기초적인 대수 기법을 사용하여, 연산자가 유한 차분 연산자 Δ로 나누어 떨어질 경우 이러한 수열이 최대 복잡도를 가짐을 증명하며, 유한체 내 다항함수 및 곱셈 함수의 역학에 대한 핵심 결과를 도출한다.

ABSTRACT

V.I. Arnold has recently defined the complexity of finite sequences of zeroes and ones in terms of periods and preperiods of attractors of a dynamic system of the operator of finite differentiation. Arnold has set up a hypothesis that the sequence of the values of the logarithm is most complicated or almost most complicated. In this paper we obtain the necessary and sufficient conditions which make this sequence (supplemented with zero) most complicated for a more wide class of operators. We prove that a sequence of values of a multiplicative function in a finite field is most complicated or almost most complicated for any operator divisible by the differentiation operator.

연구 동기 및 목표

• 유한체에서 유한 차분 연산자 Δ에 대해 로그 수열이 가장 복잡하다는 V.I. 아르놀트의 가설을 해결하기 위해.
• 로그 수열을 넘어서 곱셈 함수를 포함한 복잡도의 개념을 확장하기 위해.
• 곱셈 함수가 최대 또는 거의 최대 복잡도를 가지는 데 필요한 필수 조건과 충분 조건을 규명하기 위해.
• 아르놀트의 Δ 연산자에 대한 복잡도 결과를 더 넓은 범위의 이동 불변 선형 연산자로 일반화하기 위해.
• 고급 도구를 피하고 기초적인 대수 기법을 통해 곱셈 함수의 복잡도 최대화를 증명하기 위해.

제안 방법

• F_q^n 위의 이동 불변 선형 연산자 A를 정의하여 순환 이동 δ와 가환성을 확보함으로써 순환 치환에 대한 불변성을 확보한다.
• 핵심 대상으로서 유한 차분 연산자 Δ = δ - I를 사용하고, A가 Δ로 나누어지는 경우를 고려하여 결과를 일반화한다.
• f(i) = 곱셈 함수 값으로 생성된 수열의 역학을 분석하며, A의 궤도에서의 전기주기 및 주기 길이에 집중한다.
• 생성 함수 F(y) = ∑f(i)y^i의 대수적 구조를 연구하기 위해 y^n - 1 모듈로 다항식 모듈로 산술을 적용한다.
• n과 서로소인 k에 대한 곱셈에 대한 대칭성을 분석하기 위해 연산자 ⋅_k를 사용하며, H(y) = F(y)F^−(y)의 계수 분포가 불변임을 보인다.
• 곱셈 함수 성질과 y^n - 1 모듈로의 군론적 구조를 활용하여 ∑h(i) = 0 및 h(1) = h(2) = ... = h(n-1)을 증명한다.

실험 결과

연구 질문

• RQ1 유한체 내 곱셈 함수로 생성된 수열이 이동 불변 연산자에 대해 최대 복잡도를 가지는 조건은 무엇인가?
• RQ2 아르놀트의 가설, 즉 Δ에 대해 로그 수열이 가장 복잡하다는 것은 더 넓은 범위의 연산자에 대해서도 성립하는가?
• RQ3 다항식 모듈로 y^n - 1에서 생성 다항식을 통해 곱셈 함수의 복잡도를 대수적으로 특징지울 수 있는가?
• RQ4 수열의 최대 전기주기 및 주기 길이를 결정하는 데 Δ 연산자가 수행하는 역할은 무엇인가?
• RQ5 ∑y^i 모듈로 대수에서의 가역성 실패가 GCD(F(y), ∑y^i) = 1임을 의미하는 이유는 무엇이며, 이는 복잡도 최대화와 어떻게 관련되는가?

주요 결과

• 유한체 F_q → F_q의 곱셈 함수 f가 수열을 최대 복잡도로 생성하는 것은 연산자 A가 Δ로 나누어지며, n이 체의 특성 p와 서로소일 때에만 성립한다.
• r = n+1이 홀수 소수일 때, f(i) = 레지듀의 부호 (i/r) mod r (제곱 잔여물 지표)는 Δ에 대해 가장 복잡하며, 이는 아르놀트의 가설을 확인한다.
• q=2 이고 n이 홀수일 때, Δ: F_2^n → F_2^n의 그래프는 O_m 및 트리 T_2로 분해되며, 구성 요소 수는 n이 증가함에 따라 급격히 증가한다. 예를 들어 n=31일 경우 구성 요소 수는 34636834개이다.
• H(y) = F(y)F^−(y) mod (y^n - 1)의 계수 수열 h(i)는 h(1) = h(2) = ... = h(n-1)을 만족하며, h(0) - h(1) ≠ 0 이다. 이는 ∑y^i 모듈로에서의 가역성을 증명한다.
• ∑_{i=1}^{n-1}f(i)y^i와 ∑_{i=0}^{n-1}y^i의 GCD는 1이며, 이는 수열이 가장 복잡하다는 것과 동치이며, 이는 f가 f(-1) ≠ 0인 비자명한 곱셈 함수일 때 정확히 성립한다.
• A가 Δ로 나누어지지 않으면 결과가 성립하지 않는다. 예를 들어 A = I + δ + ... + δ^{n-1}은 비자명한 곱셈 함수에 대해 더 짧은 주기를 유도하며, 이는 최대성 주장의 무효화를 초래한다.