[논문 리뷰] Natural orbital networks

Oliver Knill|arXiv (Cornell University)|2013. 11. 26.

Advanced Combinatorial Mathematics참고 문헌 29인용 수 5

한 줄 요약

이 논문은 유한 환 ℤₙ과 같은 다항식 사상에 기반한 자연 궤도 네트워크—유한 단순 그래프를 제안한다. 여기서 간선은 생성자에 의해 한 원소가 다른 원소로 사상될 경우에만 존재한다. ℤₚ 위의 두 제곱 지도는 높은 연결성과 군집성의 그래프를 생성하는 반면, 한 개의 지도는 비연결 그래프를 만든다. 전역 군집 계수는 3/n 비율로 감소하고, 특징 길이(Characteristic path length)는 로그적으로 증가하여 대칭적인 구조를 지닌 실제 네트워크를 모방한다.

ABSTRACT

Given a finite set T of maps on a finite ring R, we look at the finite simple graph G=(V,E) with vertex set V=R and edge set E={(a,b) | exists t in T, b=t(a), b not equal to a}. An example is when R=Z_n and T consists of a finite set of quadratic maps T_i(x)=x^2+a_i. Graphs defined like that have a surprisingly rich structure. This holds especially in an algebraic set-up when T is generated by polynomials on Z_n. The characteristic path length L and the mean clustering coefficient C are interlinked by global-local quantity LC=-L/log(C) which often appears to have a limit for n to infinity like for two quadratic maps on a finite field Z_p. We see that for one quadratic map x^2+a, the probability to have connectedness goes to zero and for two quadratic maps, the probability goes to 1, for three different quadratic maps x^2+a,x^2+b,x^2+c on Z_p, we always appear to get a connected graph for all primes.

연구 동기 및 목표

• 유한 동역계를 이용해 실제 네트워크와 유사한 통계적 특성을 지닌 결정론적 복잡 네트워크 생성 프레임워크를 개발하기 위해.
• ℤₙ과 같은 유한 환 위의 제곱 지도에 의해 생성된 그래프의 연결성, 군집성, 경로 길이 특성들을 조사하기 위해.
• 유한 환 ℤₙ의 수론적 성질과 군집성, 차수 분포와 같은 네트워크 구조적 특성 간의 상호작용을 탐구하기 위해.
• 모노이드 작용과 변환 역학을 사용하여, 유희적 기하학의 대수적·기하학적 유사체를 정의하기 위해.

제안 방법

• 정점 집합 V = R(예: ℤₙ과 같은 유한 환)와 간선 집합 E를 갖는 유한 단순 그래프 G = (V, E)를 구성한다. 간선 (a,b) ∈ E이면, 어떤 t ∈ T에 대해 t(a) = b 이고 b ≠ a 를 만족한다.
• 특히 fᵢ(x) = x² + aᵢ 와 같은 제곱 다항식 사상들을 생성자 T로 사용하여 ℤₙ 또는 ℤₙ[i] 위에서 그래프 역학을 정의한다.
• 핵심 네트워크 지표를 계산한다: 특징 길이 μ, 평균 군집 계수 ν, 전역 군집 계수 C(n)는 무작위 지도 쌍에 대한 기대값으로 정의된다.
• 평균 차수 a₂(n) = 2|E|/|V|를 분석하여, d개의 생성자가 있을 경우 2d로 수렴함을 보이며, 이의 편차는 x² + a = y² + b 와 같은 디오판틴 방정식과 관련된다.
• 대수적 수론을 사용하여 f(f(f(x))) = x mod n 의 해를 분석하여 삼각형(K₃ 클리크)을 탐지하고, 고차 클리크는 디오판틴 연립방정식을 통해 분석한다.
• 오일러 지표 χ(G) = c₀ − c₁ + c₂ 와 같은 그래프 이론적 불변량을 사용하고, 오일러-포앵카르 정리를 통해 위상 불변량인 베텨 수 b₀ 및 b₁과 연결한다.

실험 결과

연구 질문

• RQ1 ℤₚ 위에서 두 제곱 지도에 의해 생성된 그래프에 대해, n → ∞ 일 때 전역-국소 양상 λ = −μ/log(ν) 의 渐近 행동은 어떠한가?
• RQ2 ℤₚ 위의 제곱 생성자의 수에 따라 그래프의 연결성 확률은 어떻게 달라지며, 특히 한, 두, 세 개의 지도를 비교할 때 어떻게 달라지는가?
• RQ3 궤도 네트워크의 정점 차수 분포는 무엇에 의해 결정되며, ℤₙ의 산술적 성질(예: 소수성)은 이 분포에 어떤 영향을 미치는가?
• RQ4 유한 환 위의 다항식 사상에 의해 생성된 궤도 네트워크는 어느 정도 소월 또는 스케일프리 특성을 보이며, 무작위 그래프 모델과 비교해 볼 때 어떻게 다른가?
• RQ5 생성 지도의 수와 환의 구조에 기반해 궤도 네트워크의 오일러 지표와 차원을 대수적으로 유계로 둘 수 있는가?

주요 결과

• 유한체 ℤₚ 위에서 두 제곱 지도를 사용할 경우, p → ∞ 일 때 그래프의 연결성 확률은 1에 수렴하고, 한 개의 지도일 경우 0에 수렴한다.
• 두 개의 무작위 제곱 지도에 대해 전역 군집 계수는 3/n 비율로 감소하며, 이는 평균적으로 n개의 정점당 3개의 삼각형이 존재함을 시사한다.
• 세 개의 제곱 지도를 사용할 경우 군집 계수는 4/n 비율로 감소하고, 평균 차수는 약 6을 유지하여 군집성과 평균 차수 사이의 비례 관계를 보여준다.
• 평균 정점 차수는 d개의 생성자에 대해 2d로 수렴하며, 이의 편차는 x² + a = y² + b 모듈로 n 에 대한 수론적 조건에 기인한다.
• ℤₙ 위에서 단일 제곱 지도에 의해 생성된 그래프는 차원 ≤ 2 이고 오일러 지표 ≥ 0 이며, K₄ 부분그래프도 없고 K₃,₃ 부분그래프도 없어 평면성으로 보인다.
• n = 57 이고 f(x) = x² + 30 일 때, 두 개의 삼각형(K₃ 클리크)이 존재하며, 이는 f³(x) ≡ x mod 57 의 8차 디오판틴 방정식의 해에 해당한다.