[논문 리뷰] Forcing and anti-forcing polynomials of perfect matchings of a pyrene system

Kai Deng, Saihua Liu외 1명|arXiv (Cornell University)|2020. 04. 10.

Graph theory and applications참고 문헌 36인용 수 11

한 줄 요약

이 논문은 헥세고날 시스템의 일종인 푸렌 시스템에서 완전 매칭의 강제화 다항식과 반강제화 다항식에 대한 명시적 공식을 유도한다. 푸렌 시스템이 $ n $개의 조각을 가질 때 반강제화 스펙트럼이 $[n, 3n]$임을 증명하고, 모든 완전 매칭에 대한 반강제화 수의 합에 대한 정확한 생성 함수와 점근적 표현을 제공한다.

ABSTRACT

The forcing number of a perfect matching of a graph was introduced by Harary et al., which originated from Klein and Randić's ideal of innate degree of freedom of Kekulé structure in molecular graph. On the opposite side in some sense, Vukičević and Trinajstié proposed the anti-forcing number of a graph, afterwards Lei et al. generalized this idea to single perfect matching. Recently the forcing and anti-forcing polynomials of perfect matchings of a graph were proposed as counting polynomials for perfect matchings with the same forcing number and anti-forcing number respectively. In this paper, we obtain the explicit expressions of forcing and anti-forcing polynomials of a pyrene system. As consequences, the forcing and anti-forcing spectra of a pyrene system are determined.

연구 동기 및 목표

• 푸렌 시스템에서 완전 매칭의 강제화 및 반강제화 다항식에 대한 명시적 표현을 개발하는 것.
• 완전 매칭 전역에서 강제화 및 반강제화 수의 분포를 특징짓는 푸렌 시스템의 강제화 및 반강제화 스펙트럼을 결정하는 것.
• 모든 완전 매칭에 대한 반강제화 수의 합을 분석하고, 그 점근적 행동을 도출하는 것.
• 반강제화 다항식과 그 도함수의 $ x=1 $에서의 값을 위한 재귀 관계 및 닫힌 형태의 생성 함수를 수립하는 것.

제안 방법

• 푸렌 시스템 $ H_n $의 구조적 분해를 기반으로 반강제화 다항식 $ Af(H_n, x) $에 대한 재귀 관계를 유도하여 계수가 변하는 선형 재귀 관계를 이끌어내는 것.
• 생성 함수를 사용하여 재귀 관계를 $ (3 - 2\bar{2}) $ 및 $ (3 + 2\bar{2}) $의 거듭제곱을 포함하는 닫힌 형태의 표현으로 변환하여 계수의 정확한 계산을 가능하게 하는 것.
• 반강제화 다항식의 미분을 적용하여 모든 완전 매칭에 대한 반강제화 수의 합을 $ x = 1 $에서 평가하는 것.
• 특성근 $ 3 ± 2\sqrt{2} $를 사용하여 반강제화 수의 합에 대한 네 번째 차수 선형 재귀를 해결하고 점근적 공식을 도출하는 것.
• 조합적 항등식과 다항계수 전개를 활용하여 반강제화 다항식의 계수를 이항계수 및 다항계수 합으로 표현하는 것.
• 초기 조건을 점검하고 $ n \geq 5 $에서 일관성을 확인함으로써 점근적 공식을 검증하며, 작은 $ n $에 대해서도 검증을 수행하는 것.

실험 결과

연구 질문

• RQ1 푸렌 시스템에서 완전 매칭에 대한 강제화 및 반강제화 다항식의 명시적 형태는 무엇인가요?
• RQ2 $ n $개의 조각을 가진 푸렌 시스템에서 강제화 및 반강제화 수의 스펙트럼은 무엇인가요?
• RQ3 모든 완전 매칭에 대한 반강제화 수의 합은 $ n $에 따라 점근적으로 어떻게 증가합니까?
• RQ4 푸렌 시스템에서 반강제화 수의 최소값과 최대값은 정확히 얼마인가요?
• RQ5 푸렌 시스템에 대해 반강제화 다항식의 생성 함수는 닫힌 형태로 표현될 수 있나요?

주요 결과

• 푸렌 시스템 $ H_n $의 반강제화 다항식은 $ Af(H_n, x) = x^n \sum_{l=0}^{2n} \sum_{i=\lceil (l+2n)/4 \rceil}^{n} \sum_{j=\lceil l/2 \rceil}^{l} (-1)^{n-i} 2^{2i-n} \binom{i}{2i-n} \binom{2i-n}{j} \binom{j}{l-j} x^l $로 주어진다.
• 푸렌 시스템 $ H_n $의 최소 반강제화 수는 $ af(H_n) = n $이며, 최대 반강제화 수는 $ Af(H_n) = 3n $이므로 반강제화 스펙트럼은 $ [n, 3n] $이다.
• 모든 완전 매칭에 대한 반강제화 수의 합인 $ AF_n $는 $ n \to \infty $일 때 점근적 공식 $ AF_n \sim \left( \frac{17+12\sqrt{2}}{16} \right) n (3+2\sqrt{2})^n $을 만족한다.
• 반강제화 수의 합을 완전 매칭 총 수 $ \Phi_n $로 정규화한 $ \frac{AF_n}{n \Phi_n} $는 $ n \to \infty $일 때 $ 1 + \frac{3\sqrt{2}}{4} \approx 1.673 $으로 수렴한다.
• 반강제화 수의 합에 대한 재귀 관계는 $ AF_n = 12AF_{n-1} - 38AF_{n-2} + 12AF_{n-3} - AF_{n-4} $이며, 초기값은 $ AF_5 = 70956 $, $ AF_6 = 496794 $, $ AF_7 = 3380640 $, $ AF_8 = 22531256 $이다.
• 반강제화 다항식의 생성 함수는 $ G(t) = \sum_{n=0}^\infty Af(H_n, x) t^n = \frac{1}{1 - ((2x^3 + 2x^2 + 2x)t - x^2 t^2)} $로 주어진다.