정규 K3 정규 그래프 연구
이 논문은 정점 차수와 삼각형 차수가 동시에 일정한 그래프, 즉 정규 K3‑정규 그래프의 존재 여부와 파라미터 (r₂,r₃) 에 대한 제약을 조사한다. 일반적인 상한을 도출하고, 특정 구간에서는 존재하지 않음을 증명하며, Turán 그래프가 이 클래스에서 차지하는 특수한 위치와 유일성을 확인한다.
저자: Artem Hak, Sergiy Kozerenko, Denys Lohvynov
논문은 먼저 K₃‑정규 그래프라는 새로운 그래프 클래스를 정의한다. 여기서 그래프 G는 모든 정점이 동일한 일반 차수 r₂와 동일한 삼각형 차수 r₃를 가져야 한다. 기존 연구에서는 K₃‑불규칙 그래프가 존재하는지 여부가 주요 관심사였으나, 본 연구는 K₃‑정규 그래프의 존재 가능성을 파라미터 (r₂,r₃) 관점에서 체계적으로 탐구한다. 섹션 2에서는 기본 용어와 F‑차수(특정 소그래프 F 에 대한 정점·에지 차수) 개념을 정리하고, K₃‑차수를 |N(u)∩N(v)| 로 명시한다. 또한 Turán 그래프 Turan(n,r) 가 r 이 n 을 정확히 나눌 때 자동으로 K₃‑정규가 됨을 보여준다.
섹션 3에서는 주요 기술적 결과를 제시한다. Lemma 3.1은 r₃ ≤⌊r₂²/2⌋ 라는 기본 상한을 제공한다. Lemma 3.2는 각 정점의 K₃‑차수가 인접한 에지들의 K₃‑차수 평균과 동일함을 보이며, 이는 손쉽게 증명되는 손잡이 정리이다. Lemma 3.3은 임의의 에지 e 에 대해 K₃‑deg(e) ≤ min{r₃, r₂−1} 이라는 제한을 주고, Lemma 3.4는 에지 e 의 K₃‑차수 k 와 전체 파라미터 사이에 비선형 부등식 2r₃ ≤ (r₂−k−1)(r₂−2)+k(k+1) 을 도출한다. 이 부등식은 이후 비존재 증명에 핵심적인 역할을 한다.
Proposition 3.5는 r₃ 가 ⌊(r₂−1)²/2⌋ 보다 조금이라도 큰 경우, 즉 r₃=⌊(r₂−1)²/2⌋+c (0
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기