[논문 리뷰] Constructions of Strongly Regular Cayley Graphs using Even Index Gauss Sums

Fan Wu|arXiv (Cornell University)|2012. 08. 05.

Coding theory and cryptography참고 문헌 12인용 수 3

한 줄 요약

이 논문은 짝수 인덱스 가우스 합을 사용하여 강한 정규 카일리 그래프의 구성법을 일반화하며, 이러한 그래프가 존재하기 위한 필요 및 충분 조건을 제공한다. 순환류와 부분체 성질을 활용하여 세 가지 새로운 무한한 강한 정규 그래프 가족을 도입하며, 이는 이전의 인덱스 2 및 4 케이스를 초과하는 더 높은 짝수 인덱스로의 확장을 포함한다. 이는 이전 방법으로는 다루지 못한 인덱스 6 예제의 새로운 일반화를 포함한다.

ABSTRACT

In this paper, generalizing the result in \cite{GXY}, we construct strongly regular Cayley graphs by using union of cyclotomic classes of $\F_q$ and Gauss sums of index $w$, where $w\geq 2$ is even. In particular, we obtain three infinite families of strongly regular graphs with new parameters.

연구 동기 및 목표

• 가우스 합의 더 높은 짝수 인덱스를 사용하여 강한 정규 카일리 그래프의 구성법을 인덱스 2 및 4를 초월해 확장하기 위해.
• 순환류의 합집합이 강한 정규 카일리 그래프를 유도하기 위한 필요 및 충분 조건을 설정하기 위해.
• 스미스-화이트 추측에서 유래한 산발적인 예제들을 인덱스 6 이상을 포함하여 무한 가족으로 일반화하기 위해.
• 강한 정규 카일리 그래프와 (Z/p₁Z, +)에서의 순환 차집합 사이의 구조적 연결 고리를 드러내기 위해.
• 고인덱스 가우스 합의 직접 평가를 피하고 부분체 소속성에 의존함으로써, 명시적 평가 없이도 직접 구성 방법을 제공하기 위해.

제안 방법

• 이전 연구를 일반화하여, 짝수 인덱스 w ≥ 2인 F_q 위에서 순환류의 합집합을 사용해 카일리 그래프를 구성한다.
• 이 방법은 이러한 합집합이 강한 정규 그래프를 유도할 수 있는지 결정하는 핵심 조건(정리 3.3)을 도입한다. 이 조건은 가우스 합의 성질에 기반한다.
• 고인덱스의 경우 명시적 평가를 피하고 부분체 소속성을 분석하는 데 의존함으로써, 고인덱스에 대한 구성 과정을 단순화한다.
• 가우스 합을 정의하고 스펙트럼 조건을 유도하기 위해 F_q의 표준 덧셈 문자 ψ와 곱셈 문자를 사용한다.
• 인덱스 w와 소수 거듭제곱 p₁에 의해 부분체와 연결된, F_q*의 곱셈 부분군 D(인덱스 w)에 기반한 구성법을 활용하며, 이때 D = -D 이다.
• 보조정리 3.5는 감소를 제공한다: F_{p^{f̃}}에서 기본 사례가 srg를 만족한다면, F_q에서의 올림 구성 역시 srg를 만족한다.

실험 결과

연구 질문

• RQ1 가우스 합을 사용한 강한 정규 카일리 그래프의 구성법을 인덱스 2 및 4에서 더 높은 짝수 인덱스, 예를 들어 6 이상으로 일반화할 수 있는가?
• RQ2 짝수 인덱스 w의 순환류 합집합이 강한 정규 카일리 그래프를 생성하기 위한 필요 및 충분 조건은 무엇인가?
• RQ3 고인덱스 가우스 합의 평가를 피하면서도 강한 정규성을 확보할 수 있는 방법은 무엇인가?
• RQ4 결과로 얻어진 강한 정규 그래프와 (Z/p₁Z, +)에서의 순환 차집합 사이에 구조적 연결 고리가 존재하는가?
• RQ5 스미스-화이트 추측에서 유래한 산발적인 예제들, 특히 인덱스 6 케이스들이 이 방법을 통해 무한 가족으로 일반화될 수 있는가?

주요 결과

• 이 논문은 짝수 인덱스 가우스 합을 사용하여 세 가지 새로운 무한한 강한 정규 카일리 그래프 가족을 구성하며, 기존의 산발적인 예제들을 일반화한다.
• 예제 4.1은 스토리지-화이트 추측의 표 1에서 예제 5를 일반화하는 새로운 무한 가족을 제공한다. 이는 p=11, p₁=43, w=6에서 유도된 매개변수를 포함한다.
• 예제 4.2는 기저 그래프가 F_{5^3}에서 F_5*로 주어지는 부분체 srg인 F_{5^f}에서 srg를 구성함으로써 부분체 예제를 일반화한다. 이때 w=10이다.
• 예제 4.3은 F_{2^f}에서 w=18으로 srg를 구성하며, F_{2^7}에서의 기저 그래프는 D = {1}이므로 자명하게 srg가 된다. 이는 소수 체의 곱셈군이다.
• 정리 3.3은 완전한 특성화를 제공한다: 특정 가우스 합과 부분체 임베딩 조건을 만족할 경우에만 카일리 그래프가 강한 정규가 된다.
• 결과는 강한 정규 카일리 그래프와 (Z/p₁Z, +)에서의 순환 차집합 사이에 깊은 연결 고리를 드러내며, 이는 조건 (3.16)과 (3.17)에 암묵적으로 표현되어 있다.