[论文解读] On the Rearrangement Conjecture for Generalized Factor Order Over P

Jay Pantone, Vincent Vatter|arXiv (Cornell University)|Mar 20, 2014

semigroups and automata theory参考文献 5被引用 6

一句话总结

本文引入了强Wilf-等价性作为P∗上因子序中Wilf-等价性的改进形式，证明了强Wilf-等价性意味着单词彼此为重排。此外，本文进一步提出猜想：Wilf-等价性本身即蕴含强Wilf-等价性，从而推进了组合词论中的重排猜想。

ABSTRACT

The Rearrangement Conjecture states that if two words over P are Wilf-equivalent in the factor order on P ∗ then they are rearrangements of each other. We introduce the notion of strong Wilf-equivalence and prove that if two words over P are strongly Wilf-equivalent then they are rearrangements of each other. We further conjecture that Wilf-equivalence implies strong Wilf-equivalence.

研究动机与目标

• 为通过引入Wilf-等价性的更强形式来解决重排猜想。
• 建立Wilf-等价单词必须彼此为重排的充分条件。
• 提出并研究猜想：Wilf-等价性蕴含强Wilf-等价性。
• 阐明P∗中因子序等价性与单词重排之间的结构关系。

提出的方法

• 基于P∗中的因子序性质，将强Wilf-等价性定义为Wilf-等价性的改进形式。
• 分析P上单词中因子出现的结构，推导强Wilf-等价性的必要条件。
• 使用组合论证证明强Wilf-等价性蕴含单词的重排。
• 基于因子序中观察到的结构模式，提出Wilf-等价性蕴含强Wilf-等价性的猜想。
• 采用广义因子序框架，将经典Wilf-等价性概念推广至P∗。
• 利用单词结构与因子分布，比较P∗中的等价类。

实验结果

研究问题

• RQ1 强Wilf-等价性是否意味着在P∗的因子序中，两个单词彼此为重排？
• RQ2 能否证明在P∗的因子序中，Wilf-等价性蕴含强Wilf-等价性？
• RQ3 P∗上单词的何种结构特性可确保Wilf-等价单词彼此为重排？
• RQ4 强Wilf-等价性这一概念如何改进原始的重排猜想？

主要发现

• 强Wilf-等价性意味着在P∗的因子序中，P上的两个单词彼此为重排。
• 本文建立了一个充分条件——强Wilf-等价性——在此条件下，Wilf-等价单词必须彼此为重排。
• 本文提出一个猜想：Wilf-等价性蕴含强Wilf-等价性，若该猜想成立，则可推出完整的重排猜想。
• 研究结果为在广义因子序设置下分析Wilf-等价性提供了新的结构框架。