스테이너‑와이너 지수의 역문제, 모든 큰 정수를 그래프 지표로
저자들은 k≥2인 임의의 정수 k에 대해, 충분히 큰 모든 양의 정수가 어떤 그래프의 스테이너‑와이너 k‑지수(SW_k)와 일치한다는 것을 증명한다. 핵심은 별 그래프를 중첩해 만든 특수 그래프와, 이 그래프의 SW_k 값을 이항계수 합으로 표현할 수 있음을 보이는 수론적 구성이다. 이를 위해 이항계수 합의 표현 개수를 하디–리틀우드 원법으로 추정하는 새로운 비율 계산 결과를 이용한다. 결과적으로 예외 집합의 구체적 크기는 제시되지 않지만, 모…
저자: Christian Bernert, Joshua Shaw
본 논문은 스테이너‑와이너 지수(SW_k)의 역문제, 즉 고정된 k≥2에 대해 모든 충분히 큰 양의 정수 n이 어떤 그래프 G의 SW_k(G)=n이 되도록 할 수 있는지를 다룬다.
1. **배경 및 기존 연구**
스테이너 거리 d(S)는 정점 집합 S⊂V(G)의 최소 연결 서브그래프에 포함된 간선 수이며, |S|=2일 때는 일반적인 거리와 동일하다. Steiner‑Wiener k‑지수는 모든 k‑원소 부분집합 S에 대해 d(S)를 합산한 값으로 정의된다. 기존 연구에서는 k=2(와이너 지수)의 경우 2와 5를 제외한 모든 양의 정수가 실현된다는 결과가 있었고, k=3,4,5에 대해서도 대부분의 정수가 실현된다는 부분적인 결과가 제시되었다. 그러나 k≥3에 대한 일반적인 정리와 예외 집합의 정확한 규모는 알려지지 않았다.
2. **주요 정리**
Theorem 1: “k≥2인 모든 정수 k에 대해, 충분히 큰 모든 양의 정수 n은 어떤 그래프 G에 대해 SW_k(G)=n이 된다.” 이 정리는 예외 집합의 크기에 대한 구체적인 상한을 제공하지 않지만, 유한 개의 예외만 존재한다는 강력한 존재론적 결과를 제시한다.
3. **그래프 구성 (Proposition 2)**
기본 템플릿으로 별 그래프 S_n(정점 n, 중심 정점 n−1)을 사용한다. a₁
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기