[논문 리뷰] On Cobweb Posets and Discrete F-Boxes Tilings

Maciej Dziemiańczuk|ArXiv.org|2008. 02. 24.

Advanced Combinatorial Mathematics참고 문헌 14인용 수 11

한 줄 요약

이 논문은 자연수 집합 N^∞ 내의 이산적 hyper-boxes인 F-boxes—모든 변 길이가 수열 F로 정의된 것—을 도입하여 코브웹 poset 해스 세 다이어그램을 기하학적으로 모델링한다. F-tiling(형태 σV_m의 부분 상자들로 분할하는 것)의 존재성을 F-시퀀스가 적합할 경우에 증명하고, 이 문제를 특수하게 구성된 그래프에서 클리크 문제로 재구성하며, 클리크의 수가 F-tiling의 수와 일치함을 증명한다. 이는 이항계수, 피보나치계수, 가우스계수 등에 응용된다.

ABSTRACT

F-boxes defined in [6] as hyper-boxes in N^{\infty} discrete space were applied here for the geometric description of the cobweb posetes Hasse diagrams tilings. The F-boxes edges sizes are taken to be values of terms of natural numbers' valued sequence F. The problem of partitions of hyper-boxes represented by graphs into blocks of special form is considered and these are to be called F-tilings. The proof of such tilings' existence for certain sub-family of admissible sequences F is delivered. The family of F-tilings which we consider here includes among others F = Natural numbers, Fibonacci numbers, Gaussian integers with their corresponding F-nomial (Binomial, Fibonomial, Gaussian) coefficients. Extension of this tiling problem onto the general case multi F-nomial coefficients is here proposed. Reformulation of the present cobweb tiling problem into a clique problem of a graph specially invented for that purpose - is proposed here too. To this end we illustrate the area of our reconnaissance by means of the Venn type map of various cobweb sequences families.

연구 동기 및 목표

• 코브웹 포스 해스 세 다이어그램을 N^∞ 내의 이산적 F-boxes를 사용하여 기하학적으로 해석하기 위해.
• F-boxes를 형태 σV_m의 부분 상자들로 분할하여 코브웹 타일링 문제를 해결하기 위해.
• F-admissible 수열의 하위 집합에 대해 그러한 F-tiling의 존재성을 증명하기 위해.
• 코브웹 블록의 최대 경로 집합에서 유도된 그래프에서 클리크 문제로 타일링 문제를 재구성하기 위해.
• 표준 F-계수를 초월하여 다중-F-다항계수로 타일링 프레임워크를 확장하고, 조합적 해석을 일반화하기 위해.

제안 방법

• m차원 F-box V_{m,n}를 [k_F] × [(k+1)_F] × ... × [n_F]의 곱으로 정의하며, 여기서 k = n−m+1이다.
• F-nomial 계수가 자연수가 되는 수열을 F-admissible 수열로 정의하여 타일링 분할이 타당함을 보장한다.
• κ-분할에서 V_{m,n} 내의 σV_m 형태의 부분 상자 수를 F-nomial 계수 {{n} {m}}_F로 세며.
• 정점이 형태 σP_m인 블록들로 구성된 그래프 G(⟨Φ_k→Φ_n⟩)를 구성하며, 간선은 최대 경로 집합이 서로소인 블록 간에 연결된다.
• 코브웹 타일링이 정확히 G(⟨Φ_k→Φ_n⟩)에서 크기 d = m_F! 인 클리크와 대응됨을 증명하며, 여기서 d = {{n} {m}}_F이다.
• 코브웹 수열 가족을 분류하기 위해 벤 다이어그램 유사 맵을 사용하며, 이는 적합한, GCD-모르픽, 타일링 전용 수열을 포함한다.

실험 결과

연구 질문

• RQ1 어떤 F-시퀀스에 대해 m차원 F-box V_{m,n}의 F-타일링이 존재하는가?
• RQ2 F-계수를 사용하여 F-타일링의 수를 조합적으로 어떻게 특징지을 수 있는가?
• RQ3 코브웹 타일링 문제는 코브웹 블록의 최대 경로 집합에서 유도된 그래프에서 클리크 문제로 재구성될 수 있는가?
• RQ4 구성된 그래프에서 최대 클리크의 수와 F-타일링의 수 사이의 관계는 무엇인가?
• RQ5 다중-F-다항계수는 표준 F-계수를 초월하여 타일링 프레임워크를 어떻게 일반화하는가?

주요 결과

• m차원 F-box V_{m,n}의 F-타일링이 존재하는 것은 수열 F가 F-admissible일 때, 즉 모든 F-계수 {{n} {m}}_F가 자연수일 때에 한하여 성립한다.
• 층 ⟨Φ_k→Φ_n⟩의 F-타일링 수는 그래프 G(⟨Φ_k→Φ_n⟩)의 최대 클리크 수와 동일하며, 클리크 크기는 d = m_F!이다.
• V_{m,n}의 κ-분할에서 형태 σV_m의 부분 상자 수는 정확히 {{n} {m}}_F이며, 이는 F-admissible 수열에 대해 자연수이다.
• 타일링 문제는 정점이 블록 σP_m이고 간선이 최대 경로 집합이 서로소임을 나타내는 그래프 G(⟨Φ_k→Φ_n⟩)에서 크기 d = m_F! 인 클리크를 찾는 것과 동치이다.
• F-타일링의 가족은 이항계수(자연수), 피보나치계수(피보나치 수열), 가우스계수(가우스 정수)와 같은 잘 알려진 사례를 포함하며, 이는 모두 F-타일링 프레임워크에 통합된다.
• 그림 15의 벤 유사 맵은 코브웹 수열을 적합한, GCD-모르픽, 타일링 전용 수열 가족으로 분류하며, 타일링 수열의 전체 경계에 대해 열려 있는 문제들이 남아 있다.