[논문 리뷰] On Quadratic Embedding Constants of Star Product Graphs

Wojciech Młotkowski, Nobuaki Obata|arXiv (Cornell University)|2018. 02. 04.

Advanced Combinatorial Mathematics참고 문헌 4인용 수 3

한 줄 요약

이 논문은 별곱 그래프 $G = G_1 \star \cdots \star G_r$의 이차 임bedding 상수(QEC)에 대한 암묵적 공식을 유도하며, 구성 요소 그래프의 QEC와 특정 대수방정식의 해 사이의 연결 고리를 설정한다. 주요 결과는 유한한 경로 그래프 $P_n$에 대한 극한 근거로 $ \mathrm{QEC}(\mathbb{Z}) = \mathrm{QEC}(\mathbb{Z}_+) = -\frac{1}{2}$를 도출하는 것으로, 분석에서 사용된 조합적 항등식으로부터 새로운 정수 수열이 유도된다.

ABSTRACT

A connected graph $G$ is of QE class if it admits a quadratic embedding in a Hilbert space, or equivalently if the distance matrix is conditionally negative definite, or equivalently if the quadratic embedding constant $\mathrm{QEC}(G)$ is non-positive. For a finite star product of (finite or infinite) graphs $G=G_1\star\dotsb \star G_r$ an estimate of $\mathrm{QEC}(G)$ is obtained after a detailed analysis of the minimal solution of a certain algebraic equation. For the path graph $P_n$ an implicit formula for $\mathrm{QEC}(P_n)$ is derived, and by limit argument $\mathrm{QEC}(\mathbb{Z})=\mathrm{QEC}(\mathbb{Z}_+)=-1/2$ is shown. During the discussion a new integer sequence is found.

연구 동기 및 목표

• 별곱 그래프 $G_1 \star \cdots \star G_r$의 이차 임bedding 상수(QEC)에 대한 정량적 추정을 수립하기 위해.
• 구성 요소 그래프에서 유도된 매개변수를 포함하는 대수방정식의 최소 해를 분석하기 위해.
• 유한한 경로 그래프 $P_n$에 대한 $\mathrm{QEC}(P_n)$에 대한 암묵적 공식을 유도하기 위해.
• 유한한 경로 그래프 $P_n$에 대한 극한 과정을 적용하여 무한 경로 그래프 $\mathbb{Z}_+$ 및 $\mathbb{Z}$의 QEC를 계산하기 위해.

제안 방법

• 구성 요소 그래프에서 유도된 매개변수인 $a_j$와 $d_j$를 포함하는 대수방정식 $\sum_{j=1}^{r}\frac{d_j}{a_j d_j + a_j - \lambda} = \frac{1}{\lambda}$의 최소 해를 분석한다.
• 제약 조건 하에서 이차형식 $\phi(x_0, \mathbf{x}_1, \dots, \mathbf{x}_r)$의 조건부 최소값이 대수방정식의 최소 해와 연결됨을 보인다.
• 스펙트럼 및 변분 기법을 사용하여 별곱 그래프의 QEC와 대수방정식의 해 사이의 관계를 규명한다.
• 유한한 경로 그래프 $P_n$에 대한 극한 근거를 적용하여 $\mathrm{QEC}(\mathbb{Z}_+)$ 및 $\mathrm{QEC}(\mathbb{Z})$를 계산한다.
• QEC$(P_n)$를 추정하기 위해 $\min\{i,j\}$, $i(n-i)$ 및 교대 부호를 포함하는 조합적 항등식을 유도한다.
• QEC 추정의 조합적 구조에서 유도된 합 $\sum_{i,j=1}^n \min\{i,j\} \, i(n-j)j(n-j)(-1)^{i+j}$로부터 새로운 정수 수열 $a_n$을 식별한다. 이 수열은 $\lceil n^2/2 \rceil$의 자체 콘볼루션임을 보여준다.

실험 결과

연구 질문

• RQ1 별곱 그래프 $G_1 \star \cdots \star G_r$의 이차 임bedding 상수(QEC)는 구성 요소의 QEC로 어떻게 표현될 수 있는가?
• RQ2 유한한 경로 그래프 $P_n$에 대해 $\mathrm{QEC}(P_n)$에 대한 암묵적 공식을 도출할 수 있는가?
• RQ3 일방향 및 양방향 무한 경로에 대한 $\mathrm{QEC}(\mathbb{Z}_+)$ 및 $\mathrm{QEC}(\mathbb{Z})$의 값은 무엇인가?
• RQ4 QEC$(P_n)$ 추정에 사용된 조합적 항등식은 알려진 정수 수열과 어떻게 관련이 있는가?
• RQ5 경로 그래프의 QEC 추정의 조합적 구조에서 새로운 정수 수열이 유도되는가?

주요 결과

• 무한 경로 그래프 $\mathbb{Z}_+$의 QEC는 $\mathrm{QEC}(\mathbb{Z}_+) = -\frac{1}{2}$이며, $n \to \infty$일 때 $\mathrm{QEC}(P_n)$의 극한으로 도출된다.
• 양방향 무한 경로 $\mathbb{Z}$의 QEC는 $\mathrm{QEC}(\mathbb{Z}) = -\frac{1}{2}$로 동일한 극한 근거로 확립된다.
• 대수방정식 $\sum_{j=1}^{r}\frac{d_j}{a_j d_j + a_j - \lambda} = \frac{1}{\lambda}$의 최소 해를 사용하여 $\mathrm{QEC}(P_n)$에 대한 암묵적 공식이 도출된다.
• QEC 추정에서의 조합적 합으로부터 새로운 정수 수열 $a_n = \frac{n}{240}\{2n^4 + 20n^2 - 7 + 15(-1)^n\}$이 유도된다.
• 수열 $a_n$은 수열 $b_n = \lceil n^2/2 \rceil$의 자체 콘볼루션임을 보이며, 그 생성함수는 $\sum_{n=0}^\infty a_n z^n = \frac{z^2(1+z^2)^2}{(1+z)^2(1-z)^6}$이다.
• 제약 조건 하에서 이차형식의 조건부 최소값이 핵심 대수방정식의 최소 해와 일치함을 증명하여, 별곱 그래프의 QEC에 대한 변분적 특성화가 이루어진다.