[논문 리뷰] ZZ Polynomials of Regular $m$-tier Benzenoid Strips as Extended Strict Order Polynomials of Associated Posets -- Part 1. Proof of Equivalence

Johanna Langner, Henryk A. Witek|arXiv (Cornell University)|2021. 03. 10.

Advanced Differential Equations and Dynamical Systems인용 수 4

한 줄 요약

이 논문은 정규 m층 벤젠 고리대의 장장-장장(ZZ) 다항식과 관련된 부분순서집합(poset)의 확장된 엄밀순서다항식 사이에 엄밀한 수학적 동치성을 확립한다. 저자들은 Kekulé 구조와 poset 위의 엄밀순서보존 사상 사이의 일대일 대응을 증명함으로써, ZZ 다항식의 계산이 poset의 선형확장을 세는 것과 그 내림차순 및 고정라벨 통계 분석으로 환원됨을 보이며, ZZ 다항식에 대한 압축된 닫힌 형태의 표현식을 가능하게 한다.

ABSTRACT

In Part 1 of the current series of papers, we demonstrate the equivalence between the Zhang-Zhang polynomial $\ ext{ZZ}(\\boldsymbol{S},x)$ of a Kekul\\'ean regular $m$-tier strip $\\boldsymbol{S}$ of length $n$ and the extended strict order polynomial $\ ext{E}_{\\mathcal{S}}^{\\circ}(n,x+1)$ of a certain partially ordered set (poset) $\\mathcal{S}$ associated with $\\boldsymbol{S}$. The discovered equivalence is a consequence of the one-to-one correspondence between the set $\\left\\{ K\ ight\\}$ of Kekul\\'e structures of $\\boldsymbol{S}$ and the set $\\left\\{ \\mu:\\mathcal{S}\\supset\\mathcal{A}\ ightarrow\\left[\\,n\\,\ ight]\ ight\\}$ of strictly order-preserving maps from the induced subposets of $\\mathcal{S}$ to the interval $\\left[\ hinspace n\ hinspace\ ight]$. As a result, the problems of determining the Zhang-Zhang polynomial of $\\boldsymbol{S}$ and of generating the complete set of Clar covers of $\\boldsymbol{S}$ reduce to the problem of constructing the set $\\mathcal{L}(\\mathcal{S})$ of linear extensions of the corresponding poset $\\mathcal{S}$ and studying their basic properties. In particular, the Zhang-Zhang polynomial of $\\boldsymbol{S}$ can be written in a compact form as $\ ext{ZZ}(\\boldsymbol{S},x)=\\sum_{k=0}^{\\left|\\mathcal{S}\ ight|}\\sum_{w\\in\\mathcal{L}(\\mathcal{S})}\\binom{\\left|\\mathcal{S}\ ight|-\ ext{fix}_{\\mathcal{S}}(w)}{\\,\\,k\\,\\,\\hspace{1pt}-\ ext{fix}_{\\mathcal{S}}(w)}\\binom{n+\ ext{des}(w)}{k}\\left(1+x\ ight)^{k}$, where $\ ext{des}(w)$ and $\ ext{fix}_{\\mathcal{S}}(w)$ denote the number of descents and the number of fixed labels, respectively, in the linear extension $w\\in\\mathcal{L}(\\mathcal{S})$.

연구 동기 및 목표

• 정규 m층 벤젠 고리대의 ZZ 다항식과 관련된 부분순서집합의 확장된 엄밀순서다항식 사이에 엄밀한 수학적 동치성을 확립하기 위해.
• 벤젠 고리대의 Kekulé 구조 집합이 유도된 poset 위의 엄밀순서보존 사상 집합과 이원일대일 대응됨을 보여주기 위해.
• ZZ 다항식의 계산을 관련 poset의 선형확장 수세기 및 그 내림차순과 고정라벨 통계 분석으로 환원하기 위해.
• 모든 정규 m층 고리대(1 ≤ m ≤ 6)와 임의의 길이 n에 대해 ZZ 다항식을 자동으로 계산할 수 있는 알고리즘적 기반을 마련하기 위해.

제안 방법

• 정규 m층 벤젠 고리대 𝕊의 구조에서 부분순서집합(poset) 𝒮를 구성하기 위해.
• 𝕊의 Kekulé 구조와 𝒮의 유도된 부분순서집합에서 정수구간 [n]으로의 엄밀순서보존 사상 사이의 일대일 대응을 정의하기 위해.
• 모든 선형확장 w에 대한 합으로 ZZ 다항식을 표현하며, 내림차순 수 des(w)와 고정라벨 수 fix𝒮(w)를 포함하기 위해.
• 선형확장의 조합적 성질을 바탕으로 이항계수와 (1+x)의 거듭제곱을 사용하여 ZZ 다항식에 대한 닫힌 형태의 공식을 유도하기 위해.
• 동치성을 활용하여, 확장된 엄밀순서다항식 E𝒮°(n,x+1)를 계산하는 데 사용되는 네 단계로 구성된 완전히 자동화 가능한 알고리즘을 개발하기 위해.
• 시리즈의 후속 부분들에서 m = 1에서 6까지의 모든 정규 m층 고리대와 임의의 n에 대해 ZZ 다항식을 계산함으로써 프레임워크의 타당성을 검증하기 위해.

실험 결과

연구 질문

• RQ1 정규 m층 벤젠 고리대의 장장-장장(ZZ) 다항식은 관련된 부분순서집합의 확장된 엄밀순서다항식으로 표현될 수 있는가?
• RQ2 해당 고리대의 Kekulé 구조 집합과 유도된 부분순서집합 위의 엄밀순서보존 사상 집합 사이에 이원일대일 대응이 존재하는가?
• RQ3 ZZ 다항식의 계산이 관련된 부분순서집합의 선형확장 및 그 내림차순과 고정라벨 통계 분석으로 환원되는가?
• RQ4 유도된 동치성을 활용하여, m = 1에서 6까지의 모든 m층 고리대에 대해 ZZ 다항식 계산을 완전히 자동화할 수 있는 알고리즘을 구축할 수 있는가?
• RQ5 정규 m층 벤젠 고리대의 ZZ 다항식은 부분순서집합의 선형확장에 대해 정확히 어떤 닫힌 형태의 표현식을 가진다?

주요 결과

• 정규 m층 벤젠 고리대 𝕊의 ZZ 다항식은 그 관련 부분순서집합 𝒮의 확장된 엄밀순서다항식 E𝒮°(n,x+1)와 수학적으로 동치이다.
• 이 동치성은 𝕊의 Kekulé 구조와 𝒮의 부분순서집합에서 [n]으로의 엄밀순서보존 사상 사이의 이원일대일 사상에 기인한다.
• ZZ 다항식은 ∑ₖ₌₀^|𝒮| ∑_{w∈ℒ(𝒮)} binom(|𝒮|−fix𝒮(w), k−fix𝒮(w)) × binom(n+des(w), k) × (1+x)^k 로 닫힌 형태로 표현된다.
• 각 선형확장 w의 내림차순 수 des(w)와 고정라벨 수 fix𝒮(w)는 다항식 계수를 완전히 결정한다.
• 이 프레임워크는 m = 1에서 6까지의 모든 정규 m층 고리대와 임의의 n에 대해 ZZ 다항식을 완전히 자동으로 계산할 수 있게 하며, 이는 시리즈의 제2 및 제3부에서 상세히 기술되어 있다.
• 이 접근법은 화학적 그래프 이론과 고급 순서론 사이에 새로운, 전례 없는 연결 고리를 제공하며, ZZ 다항식 계산을 위한 새로운 길을 열어준다.