[论文解读] Two New Interpretations of the Fishburn Numbers and their Refined Generating Functions

Paul Levande|arXiv (Cornell University)|Jun 15, 2010

Advanced Combinatorial Mathematics参考文献 9被引用 6

一句话总结

本文提供了Fishburn數字的兩種新組合解釋：無2-巢狀的匹配與無遞減連續子序列的逆序表。透過直接雙射與對合原理，證明這兩種結構的生成函數與Fishburn數字的生成函數相同，從而確認了Claesson與Linusson的猜想，並確立了Remmel與Kitaev提出的兩種精細化生成函數的等價性。

ABSTRACT

We show that two classes of combinatorial objects--inversion tables with no subsequence of decreasing consecutive numbers and matchings with no 2-nestings--are enumerated by the Fishburn numbers. In particular, we give a simple bijection between matchings with no 2-nestings and inversion tables with no subsequence of decreasing consecutive numbers. We then prove using the involution principle that inversion tables with no subsequence of decreasing consecutive numbers have the same generating function as the Fishburn numbers. The Fishburn numbers have previously been shown by Bousquet-Mélou, Claesson, Dukes and Kitaev to enumerate $ extbf{(2+2)}$-avoiding posets, matchings with no left- or right-nestings, permutations avoiding a particular pattern, and so-called ascent sequences, and by Dukes and Parviainen to enumerate upper triangular matrices with non-negative entries and no empty rows or columns. Claesson and Linusson conjectured they also enumerated matchings with no 2-nestings. Using these new interpretations of the Fishburn numbers and another version of the involution, we prove the conjectured equality (also proven using matrices by Jel\'ınek and by Yan) of two refinements by Remmel and Kitaev of the Fishburn generating function. In an appendix, we state and prove another conjecture of Claesson and Linusson giving the distribution of left-nestings over the set of all matchings.

研究动机与目标

• 提供Fishburn數字的新組合解釋，超越已知類別如(2+2)-避免偏序集與上升序列。
• 證明Claesson與Linusson的猜想：無2-巢狀的匹配由Fishburn數字計數。
• 確立Remmel與Kitaev提出的Fishburn數字兩種精細化生成函數的等價性。
• 透過雙射與基於對合的證明，深化對Fishburn數字生成函數的理解。

提出的方法

• 在無2-巢狀匹配與無遞減連續子序列的逆序表之間建立直接雙射。
• 應用對合原理，證明此類逆序表的生成函數等於已知的Fishburn生成函數。
• 透過追蹤滿足 $ a_i = i-1 $ 的位置數量來精細化生成函數，並證明其與Remmel–Kitaev的雙變數生成函數一致。
• 使用對合證明的變體，顯示同一精細化生成函數也與第二種Remmel–Kitaev形式一致。
• 利用從歸納弧插入導出的遞迴關係，證明匹配中左巢狀結構的相關猜想。
• 透過小規模 $ n $ 的生成函數對稱性質驗證，提示可能存在廣義的 $ q,t $-統計量。

实验结果

研究问题

• RQ1 無2-巢狀匹配是否如Claesson與Linusson所猜想的那樣，由Fishburn數字計數？
• RQ2 Remmel與Kitaev提出的Fishburn數字兩種精細化生成函數能否被證明等價？
• RQ3 是否存在無2-巢狀匹配與無遞減連續子序列逆序表之間的直接組合雙射？
• RQ4 左巢狀結構在所有匹配中的分佈是否符合二階Eulerian三角形？
• RQ5 能否在Fishburn結構對象上定義類似面積與dinv的統計量，以產生對稱生成函數？

主要发现

• 在無2-巢狀匹配與無遞減連續子序列逆序表之間構造了直接雙射，確認了Fishburn數字的新組合解釋。
• 透過對合原理，證明無遞減連續子序列的逆序表的生成函數等於已知的Fishburn生成函數。
• 追蹤滿足 $ a_i = i-1 $ 的位置數量的精細化生成函數，被證明與Remmel與Kitaev提出的兩種形式一致。
• 無2-巢狀匹配中左巢狀結構的分佈被證明符合二階Eulerian三角形，從而確認了Claesson與Linusson的猜想。
• 對於 $ n \leq 5 $，逆序表與上升序列的生成函數均顯示對稱性，但在 $ n=6 $ 時對稱性失效，提示可能需要進一步精細化。
• 研究結果為探索Fishburn對象上的廣義 $ q,t $-統計量奠定了基礎，或可擴展 $ q,t $-Catalan多項式理論。