[논문 리뷰] On quadratic orbital networks

Oliver Knill|arXiv (Cornell University)|2013. 12. 02.

Graph theory and applications참고 문헌 7인용 수 3

한 줄 요약

이 논문은 유한체 𝔽ₚ 위에서 정의된 이차 궤도 네트워크를 연구한다. 이 네트워크는 Tᵢ(x) = x² + aᵢ 로 생성되는 동적 시스템에 기반한다. 연결성, 오일러 지표, 클리크 구조, 평면성, 지름, 그리고 인덕티브 차원을 분석하며, d=1 생성자에 대해 오일러 지표가 음수가 아니라고 증명한다. 반면 d=2 이고 p가 크면 오일러 지표가 음수가 된다. p→∞ 일 때 이러한 네트워크의 인덕티브 차원은 1로 수렴하며, d≥2 이면 충분히 큰 p에 대해 네트워크가 평면이 아니라고 추측된다.

ABSTRACT

These are some informal remarks on quadratic orbital networks over finite fields. We discuss connectivity, Euler characteristic, number of cliques, planarity, diameter and inductive dimension. We find a non-trivial disconnected graph for d=3. We prove that for d=1 generators, the Euler characteristic is always non-negative and for d=2 and large enough p the Euler characteristic is negative. While for d=1, all networks are planar, we suspect that for d larger or equal to 2 and large enough prime p, all networks are non-planar. As a consequence on bounds for the number of complete sub graphs of a fixed dimension, the inductive dimension of all these networks goes 1 as p goes to infinity.

연구 동기 및 목표

• 유한체 위에서 이차 지도에 의해 생성된 유한 동적 네트워크의 구조적 및 위상적 성질을 조사한다.
• 체의 크기 p→∞ 일 때 핵심 그래프 불변량인 오일러 지표, 클리크 수, 지름, 인덕티브 차원의 점근적 행동을 이해한다.
• 다양한 생성자 수 d와 소수 p에 대해 이차 궤도 네트워크의 연결성, 평면성, 차원성을 규명한다.
• d=3 생성자를 가진 예외적인 비연결 그래프의 존재성과 희귀성을 탐색하고, 그들의 구조적 성질을 분석한다.

제안 방법

• 궤도 네트워크를 정의한다. 이는 정점 집합이 𝔽ₚ이고, 어떤 생성자 Tᵢ에 대해 Tᵢ(x)=y 또는 Tᵢ(y)=x 를 만족하는 x와 y 사이에 간선이 존재하는 단순 유한 그래프이다.
• 이차 지도 Tᵢ(x) = x² + aᵢ 의 복합을 통해 시간 진화를 모델링하기 위해 모노이드 동역학을 사용한다.
• 단위 구면 재귀를 통해 인덕티브 차원을 적용한다: dim(G) = 1 + (1/|V|)∑ᵥ dim(S(v))이며, 여기서 S(v)는 v의 링크이다.
• 디오판틴 방정식의 경계를 적용하여 고정된 d와 m에 대해 Kₘ₊₁ 부분그래프의 수가 일관되게 유계임을 보인다.
• 카라투소프스키 정리를 사용하여 K₃,₃ 또는 K₅ 준서브그래프를 찾는 방식으로 평면성을 분석한다.
• 작은 소수와 스무스 수에서의 계산 실험을 통해 연결성, 오일러 지표, 차원에서의 패턴을 관찰한다.

실험 결과

연구 질문

• RQ1 d=1일 때, 𝔽ₚ 위에서 이차 궤도 네트워크의 오일러 지표가 항상 음수가 아닐까?
• RQ2 d=2 이고 p가 크면 오일러 지표가 음수가 되며, 그 점근적 행동은 어떠한가?
• RQ3 d≥2 이고 p가 크면 항상 비평면적인가? 만약 그렇다면 어떤 구조적 특성이 이를 강제하는가?
• RQ4 p→∞ 일 때 이 네트워크의 인덕티브 차원이 1로 수렴하는가? 그리고 어떤 d와 p에서 이것이 최대가 되는가?
• RQ5 d=3 생성자를 가진 비연결 이차 궤도 네트워크는 유한한 수뿐인가? 이러한 예외적인 경우는 무엇으로 특징지어지는가?

주요 결과

• d=1일 때, 𝔽ₚ 위에서 이차 궤도 네트워크의 오일러 지표는 항상 음수가 아니다.
• d=2 이고 충분히 큰 p일 때, 오일러 지표는 음수가 된다.
• p→∞ 일 때, 이차 궤도 네트워크의 인덕티브 차원은 d에 관계없이 1로 수렴한다.
• Xₚᵈ 에 속하는 임의의 네트워크에서 Kₘ₊₁ 부분그래프의 수는 d와 m에만 의존하는 상수에 의해 일관되게 유계이다.
• d=3 인 모든 네트워크에서 K₆ 부분그래프는 존재하지 않으며, p≤47 일 때 K₅ 부분그래프는 존재하지 않는다.
• d=2 생성자를 가진 가장 큰 알려진 평면 이차 궤도 네트워크는 p=23에서 발생한다; p>23 일 때는 더 이상 평면 예외가 발견되지 않는다.