[논문 리뷰] Automorphism related parameters of a graph associated to a finite vector space

Hira Benish, Imran Javaid외 1명|arXiv (Cornell University)|2018. 04. 25.

Graph Labeling and Dimension Problems참고 문헌 12인용 수 3

한 줄 요약

이 논문은 유한 체 위의 유한 차원 벡터 공간과 관련된 비영성분 그래프의 자동형사 관련 매개변수를 조사한다. 정점 쌍의 고정 이웃을 도입하고, 모든 비자명한 자동형사를 파괴하는 데 필요한 최소 크기의 집합인 고정 수를 결정한다. 이는 F₂ 위의 벡터 공간에서는 고정 수가 2ⁿ⁻¹이며, q ≥ 3인 F_q 위에서는 |G(𝕍)| − 1임을 보여준다.

ABSTRACT

In this paper, we discuss automorphism related parameters of a graph associated to a finite vector space. The fixing neighborhood of a pair $(u,v)$ of vertices of a graph $G$ is the set of all those vertices $w$ of $G$, such that the orbits of $u$ and $v$ under the action of stabilizer of $w$ are not equal. The fixed number of a graph is the minimum number $k$ such that every subset of vertices of $G$ of cardinality $k$ is a fixing set of $G$. We study some properties of automorphisms of a graph associated to finite vector space and find the fixing neighborhood of pair of vertices of the graph. We also find the fixed number of the graph. It is shown that, for every positive integer $N$, there exists a graph $G$ with $fxd(G)-fix(G)\geq N$, where $fxd(G)$ is the fixed number and $fix(G)$ is the fixing number of $G$.

연구 동기 및 목표

• 유한 차원 벡터 공간의 비영성분 그래프의 자동형사를 분석한다.
• 이 그래프에서 정점 쌍의 고정 이웃을 정의하고 계산한다.
• 모든 비자명한 자동형사를 파괴하는 데 필요한 정점 집합의 최소 크기인 고정 수를 결정한다.
• 고정 수가 고정 수와 상당히 다를 수 있는 조건을 설정한다.
• 벡터 공간의 대칭성과 체의 특성과 관련된 그래프의 구조적 성질을 탐색한다.

제안 방법

• 비영성분 그래프는 비영인 벡터를 정점으로 하며, 두 벡터가 비영인 계수를 가진 기저 벡터를 공유할 경우에만 간선을 가진다.
• 정점 쌍 (u,v)의 고정 이웃은 w의 안정자군이 u와 v의 궤도를 자동형사 하에 보존하지 않는 모든 정점 w의 집합으로 정의된다.
• 고정 수는 fxd(G) = r + 1로 특성화된 것으로 계산되며, 여기서 r은 비고정 집합의 최대 크기이다.
• F₂에 대해서는, 기저 벡터 bₗ과 bₘ이 공유되거나 공유되지 않는 방식으로 벡터를 그룹화하여 크기가 2ⁿ⁻¹ − 1인 비고정 집합 A를 구성한다.
• q ≥ 3인 F_q에 대해서는, 동일한 이웃을 가진 정점의 쌍둥이 클래스를 식별하여 fxd(G) = |G| − 1임을 도출한다.
• 그래프 자동형사 이론과 벡터 공간의 구조적 이론을 통합하여, 구성된 비고정 집합의 초집합이 항상 고정 집합이 됨을 증명한다.

실험 결과

연구 질문

• RQ1 F₂ 위의 유한 차원 벡터 공간의 비영성분 그래프의 고정 수는 무엇인가?
• RQ2 고정 수는 그래프 내 자동형사의 구조와 어떻게 관련이 있는가?
• RQ3 고정 수가 고정 수를 임의로 크게 초월할 수 있으며, 만약 그렇다면 어떤 조건에서 그러한 현상이 발생하는가?
• RQ4 이웃이 동일한 정점들(쌍둥이 정점)은 고정 수를 결정하는 데 어떤 역할을 하는가?
• RQ5 체의 크기(q)는 비영성분 그래프의 고정 수에 어떤 영향을 미치는가?

주요 결과

• F₂ 위의 차원 n ≥ 3인 유한 벡터 공간에 대해, 그 비영성분 그래프의 고정 수는 정확히 2ⁿ⁻¹이다.
• F₂ 위의 비영성분 그래프에서 가장 큰 비고정 집합의 크기는 2ⁿ⁻¹ − 1이며, 이는 fxd(G) = r + 1에 의해 고정 수가 직접적으로 결정된다.
• q ≥ 3인 F_q 위에서는, 동일한 이웃을 가진 쌍둥이 정점 클래스가 존재하기 때문에 고정 수는 |G(𝕍)| − 1이다.
• 고정 수가 고정 수를 임의로 큰 양수 N만큼 초월할 수 있으며, 이는 fxd(G) − fix(G) ≥ N를 만족하는 그래프를 구성하여 입증된다.
• 정점 쌍 (u,v)의 고정 이웃은 정점 w 중에서 w의 안정자군이 u와 v의 궤도를 자동형사 하에 보존하지 않는 모든 w를 포함하며, 이 개념은 고정 수를 증명하는 데 핵심적이다.
• 비영성분 그래프의 자동형사군은 기저 벡터를 부호가 있는 기저 벡터의 순열로 매핑하며, 선택된 기저에 관계없이 그래프의 구조를 유지한다.